GPCE 2018
Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018
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

GPCE 2018Author of Verification of High-Level Transformations with Inductive Refinement Types within the GPCE 2018-track
Show activities from other conferences

Using general profile