Senior Research Engineer at Quantstamp
Kacper is an expert in software modeling and verification.
Kacper is an expert in software modeling and verification. He received a Ph.D in Computer Science from the University of Waterloo for his wo...