Registered user since Mon 3 Aug 2015
MSc Eng from Warsaw University of Technology (2000) PhD from IT University of Copenhagen (2005)
Interested in developing repeatable software engineering methods, supported by innovative tools and technology, to solve domain specific problems (safety critical systems, industry automation, robotics, legacy systems, and personal data protection).
|GPCE 2018||Verification of High-Level Transformations with Inductive Refinement Types|
|Show activities from other conferences|
View general profile