Kacper Bąk, Ph.D.

Kacper Bak
Senior Software Engineer at MathWorks
Email: contact@#REMOVEME#kacper#REMOVEME TOO#.me
Personal website: http://kacper.me

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.

News

Projects

Current Projects

Past Projects

Tools

Graduate Courses

Teaching

Publications

Conference Paper
Antkiewicz, M., K. Bąk, D. Zayan, K. Czarnecki, A. Wąsowski, and Z. Diskin, "Example-Driven Modeling Using Clafer", First International Workshop on Model-driven Engineering By Example, 2013. [ppsx][pdf]
Bąk, K., K. Czarnecki, and A. Wąsowski, "Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled", 3rd International Conference on Software Language Engineering, Eindhoven, The Netherlands, 10/2010. [pdf][pdf]
Bąk, K., Z. Diskin, M. Antkiewicz, K. Czarnecki, and A. Wąsowski, "Partial Instances via Subclassing", 6th International Conference on Software Language Engineering, Indianapolis, USA, 2013. [pdf][pdf]
Conference Proceedings
Bąk, K., D. Zayan, K. Czarnecki, M. Antkiewicz, Z. Diskin, A. Wąsowski, and D. Rayside, "Example-Driven Modeling. Model = Abstractions + Examples", New Ideas and Emerging Results (NIER) track of the 35th International Conference on Software Engineering (ICSE 2013), San Francisco, CA, USA, 2013. [pdf]
Journal Article
Bąk, K., Z. Diskin, M. Antkiewicz, K. Czarnecki, and A. Wąsowski, "Clafer: Unifying Class and Feature Modeling", Software and Systems Modeling, 2014. [pdf]
Miscellaneous
Bąk, K., D. Zayan, K. Czarnecki, M. Antkiewicz, Z. Diskin, A. Wąsowski, and D. Rayside, Example-Driven Modeling poster, , Toronto, CASCON, 2012. [pdf]
Report
Bąk, K., K. Czarnecki, and A. Wąsowski, "Feature and Class Models in Clafer: Mixed, Specialized, and Coupled", David R. Cheriton School of Computer Science, Waterloo, University of Waterloo, 06/2010.
Thesis
Bąk, K., Certificateless Cryptography, , vol. BSc: Warsaw University of Technology, 2009. [pdf]