ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Andrzej Wąsowski

Registered user since Mon 3 Aug 2015

Name: Andrzej Wąsowski

Bio: 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).

Country: Denmark

Affiliation: IT University of Copenhagen, Denmark

Personal website: http://www.itu.dk/people/wasowski

Research interests: Software Engineering, Safety Critical Systems, Model-driven development, Program Analysis, Model Analysis, Robotics, Personal Data Protection

Contributions

FASE 2019Author of Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL within the FASE 2019-track
Show activities from other conferences

ETAPS 2019-profile
View general profile