Kacper Bak

Kacper Bak is a senior research engineer at Quantstamp and an expert in software modeling and verification. He received a PhD in computer science at the University of Waterloo for his work on modeling and analysis of software product lines.