Andrzej Wąsowski

Publications For students IT University PLS SDG MT-LAB RECOMP

	Andrzej Wąsowski Associate professor Programming, Logic & Semantics Software Development Group Software Development and Technology MSc Programme Head	IT University Langgaards Vej 7 room 2M27 2300 Copenhagen S Denmark phone (+45) 7218 5086 fax (+45) 7218 5001

Research

I am interested in software design with emphasis on model driven engineering of software systems. I study actual systems in order to understand how to best leverage modeling and design in their evolution. I also design new modeling technologies, including modeling languages, code generators, or analysis and verification tools.

I have worked with systems in multiple domains: safety critical embedded systems (such as an electric engine safety controller for an elevator), operating system kernels (Linux, Free BSD, eCos), and business software (such as an open source ERP system Open for Business). I have spent a lot of time researching software systems that are produced in families of similar products - the so called software product lines.

I teach courses on modeling and design. I regularly supervise thesis students on this topics. I particularly enjoy supervising students in collaboration with companies (often their employers)

My research publications are available here.

PhD Students & Post-docs

Projects & Activities

PC member of SPLC 2012, FIT 2012, VARY 2011, GPCE 2011, MAPLE/SCALE 2011, VAMOS 2012 (also VAMOS 2011, 2010), CONCUR 2011, VARI-ARCH 2010, MDPLE 2010, MODELS 2010, NW-MODE 2009.
Clafer - a language for lightweight modeling
ECDAR: Environment for Compositional Design and Analysis of Real Time Systems
APAC: analyzer for Abstract Probabilistic Automata, Constraint Markov Chains and Interval Markov Chains.
General Chair NW-MODE 2010 workshop in Copenhagen, at IT University
Local organization committee member: ECSA 2010, tool demo chair
Local organization chair of ARTIST/MT-LAB Quantitative Model Checking PhD School
Organizer and PC member of FIT 2008 in Budapest.
CNF Toolkit: a library to construct CNF models.
SmartEMF: the Eclipse Modeling Framework (EMF)...only smarter!
"Copenhagen" Meeting on Modal Transition Systems.
SCOPE: a statechart compiler.
IAR visualSTATE: a commercial development environment for discrete control systems. I worked on its code generator and on the verification algorithm.
Charter: probably world's smallest code generator for statecharts.
PPRSL: a lightweight pretty printer for RSL specifications.
fxp-mosml: A Moscow ML port of fxp, a generic XML parser for Standard ML.
A small description of my PhD project, sufficient for a layman and details of my project on code generator for UML-like statecharts.
MINI-seminarium: a sparse series of broad-spectrum seminars at my home faculty in Warsaw, in Polish (1st 2002/2003, 2nd 2003/2004, 3rd 2004, 4th 2004)

News & Announcements

RSS feed for this news stream | Follow this stream on

For MSc & BSc Students

See my project proposals. I always need good project students. Feel free to contact me directly about new project ideas within model driven development, UML, configuration, BDDs, constraint satisfaction, verification, theory of concurrency, automated testing and code generation, or others.
A math primer for entry level CS students.

Teaching Activities

Winter 2011: Foundations of Model-Driven Software Development (PhD level)
Fall 2011: Model-driven development project cluster (MSc Level)
Fall 2010: Introductory Software Engineering Seminar
Spring 2010: Algorithms and Data Structures (BADS) for undergraduate students (also in Spring 2009 and Spring 2008)
Spring/Summer 2009: a Reading group on experimentation in software engineering.
Fall 2008: System Architecture and Security in the graduate programme (SDT). I will not actually give any lectures but I actively influence the design of this course.
Fall 2007: Performance & Test with Henrik Reif Andersen and others (previous editions Fall 2006, Spring 2007).
Spring 2007: A small fraction of the course on Test and Verification in Computer Science Department in Aalborg, with Ulrik Nyman, Kim G. Larsen, Brian Nielsen, and Arne Skou (also in F2006).
Spring 2007: Software Programmable Signal Processing Platform Analysis at the Department of Communication Technology of Aalborg University. In CS terms this course is a compiler mini-course with emphasis on DSP specific optimizations. (Previous editions Spring 2005, Spring 2006).
Spring 2006: Logic Based Methods for Optimization, a PhD course with Rune Møller Jensen at IT University.
Spring 2006: Introduction to Algorithms and Data Structures (IADS) at IT University. Together with Anna Östlin Pagh. (Previous editions Fall 2005, Spring 2005, Fall 2004).
Spring 2005: Programming Languages, Interpreters and Compilers together with Peter Sestoft (previous editions Spring 2004, Spring 2003, Spring 2002 ).
Fall 2003: A guest lecture on modeling with statecharts in DTU course on Operating Systems for Embedding (course responsible is Jørgen Steensgaard-Madsen).
Fall 2002: Inżynieria oprogramowania (Software Engineering, in Polish) at Warsaw University of Technology. The course is given by Krzysztof Kaczmarski. I am only responsible for a small fraction on formal methods.
Fall 2001: Efficient Algorithms and Programs (in English) at IT University together with Henrik Reif Andersen and Henrik Hulgaard.
Fall 2000, in Polish: Niektóre ćwiczenia laboratoryjne z przedmiotu Programowanie w Internecie do wykładu Macieja Grzendy. (Ostatnio prowadzone: Wydział MiNI PW, semestr zimowy 2000/2001 NIEAKTUALNE)

Odds & Ends

wvdial.conf for Thinkpad's x200 built-in modem and CallMe's mobile broadband (it took me some time to figure out what the right entries for call me are, as these are not published online, nor they come in the start package - so if you also happen to use them on Linux you may benefit from this).