We've got lots of freedom and independence, but you are never on your own when you encounter problems.
Kacper Bąk, Ph.D.
Email: contact@ kacper .me
Personal website: http://kacper.me
- 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.
- Spring 2011: CS 744 Advanced Compiler Design. Project report [PDF]
- Winter 2011: CS 846 Topics in Software Evolution and Empirical Studies. Project report [PDF]
- Fall 2010: CS 746 Software Architecture. Project report [PDF]
- Spring 2010: CS 889 Open Source Usability. Project report [PDF]
- Winter 2010: CS 846 Model-Based Software Engineering. Project report [PDF]
- Winter 2010: CS 886 Persuasive Technologies. Project report [PDF]
- Fall 2009: CS 798 Interpreters for Functional Programming Languages. Project report [PDF]
- Fall 2009: CS 745 Computer Aided Verification
- Spring 2010: TA for CS 246 Software Abstraction and Specification
- Winter 2010: TA for CS 444/644 Compiler Construction
- Fall 2009: TA for CS 136 Elementary Algorithm Design and Data Abstraction
- Spring 2007: organized student Seminar in Functional Programming