• Ph.D., Cheriton School of Computer Science, University of Waterloo
• B.Sc., Faculty of Electronics and Information Technology, Warsaw University of Technology

My CV [PDF]

For my PhD I was doing research in software engineering:

• design of two languages for modeling and analysis of variability in Software Product Lines: Clafer and Common Variability Language. The former is a general purpose lightweight modeling language. It enables new ways of specifying and testing software requirements. The second is an upcoming OMG standard.
• proposal of Example-Driven Modeling, an approach that systematically uses explicit examples for eliciting, modeling, verifying, and validating complex business knowledge.

Before joining the GSD Lab I was interested in cryptography and computer security, which resulted in the final-year project on Certificateless Cryptography [PDF]. As an undergrad I enjoyed building satellites and was a member of Student Space Engineering Scientific Group.