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

My CV [PDF]

I do research in software engineering. I am interested in software modeling, so that programming is about solving problems, not just about typing code. Modeling is like programming but on a higher level of abstraction. In programming we use languages to describe programs. Similarly, in modeling we use languages to describe models. I am working on two such languages: 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 for constructing Software Product Lines.

My research interests include domain modeling, metaprogramming, programming languages and paradigms. 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.