• B.Sc., Faculty of Electronics and Information Technology, Warsaw University of Technology

My CV [PDF], email: kbak #REMOVEME# gsd #REMOVEME TOO# uwaterloo (NONSENSE) ca

I work in the area of automated software engineering and software product lines. My research interests include feature modeling, metaprogramming, programming languages and paradigms. Currently I'm focused on Clafer and Common Variability Language (CVL). Clafer is a concept modeling language for specification and analysis of software product lines. CVL is the upcoming OMG standard for domain-independent variability modeling. You are welcome to read more about the research I am doing and future plans in my research statement [PDF].

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.