Andrzej Wąsowski

Associate professor
Programming, Logic & Semantics Group (PLS)
Software Development Group (SDG)

Head of the MSc Programme on Software Development and Technology.
Representant for software programmes in Board of Studies

Office hours: by appointment

News

2010-7-29 Vacation: offline 31 July until 17 August.

2010-7-17 Visitting researcher in INRIA, Rennes: I am visitting the Team S4, and Axel Legay in particular, the entire month of July 2010. Do not expect me to be responsive to email in this period.

2009-12-23 PhD School on Model Checking: I am the local organization chair for the Quantitative Model Checking PhD School (QMC 2010) to be held at IT University 2-5 March 2010. I hope to see you welcome you here!

2009-12-18 Travel: I am away in Warsaw until January 4th. ITU students who are Interested in projects with me during the spring semester should try to start talking to me as soon as possible, so that we can meet first half of January. I will be traveling various places in the second half of January.

2009-8-25 Travel: I am attending SPLC in San Francisco August 24-29 with some access to email. I am in Warsaw August 31 - September 7th working on a paper. I should be reachable by email and skype rather easily, although busy with writing.

2009-6-12 Vacation: I am on vacation in Poland, far from any ethernet sockets (and plugs) from July 21st to August 9th.

2009-3-12 Scholarhips!: IT University has an open call for PhD scholarships with a deadline on April 16. Within this call you can apply for studying with me in both of my research areas (quantitative models for components and in model-drive engineering). Please contact me via email (or ask for a personal meeting) if you consider applying.

2009-2-4 Summer internships: I search for a research intern, ready to work with me in summer 2009 on stochastic modeling within the MT-LAB project. Drop me an email if your are interested. We are particularly interested in Master of Science students who are persuing a degree in mathematics or theoretical computer science.

2009-3-12 Submit good stuff to MODELS'09: I am on the PC. The call for papers is here. See you in Denver!

2009-1-12 Hichem Boudali is visitting: Hichem is visitting on 15-16 January. He is giving a talk on January 16th

2008-11-12 How to write a project agreement?: There is a new guide for IT University students on creation of project agreements.

2008-11-12 Accreditation of Danish University Educations: I have given a talk at a conference of the Danish Accreditation Institution (ACE Denmark) on ITU's experience in the accreditation process of our Software Development and Technology programme, focusing on how the accreditation requirements were documented using existing quality assurance systems. Slides are available.

2008-11-2 VKR Centre of Excellence: I am one of the (youngest ;) ) founding members of MT-LAB, a recently granted VKR Centre of Excellence on modeling in Information Technolgy. A nice amount of 25 mio. kr. follows with that name, together with an exciting list of partners, and even more exciting research agenda. The offical opening is on November 19-20, while technically the project is running since yesterday. So starting yesterday my focus is stochastic and continuous. Oh yeah!

2008-10-15 Positions at ITU Open!: We are hiring at assistant (tenure track) / associate (tenured) prof. level in the area of software development. The application deadline is Nov 10th at 12:00. The call is here (scroll to Associate/Assistant professorship in Software Development).

2008-9-15 PhD Scholarships: IT University has an open call for PhD scholarship applications. Please consider if you are interested in a scholarship with me (and by all means please contact me first). The call is here. The deadline is October 10th at noon CET (sharp).

2008-9-15 XML, Interfaces, Feature Models and Interactive Editors: I have coauthored two papers to be presented at MODELS 2008. One with Anders Hessellund on inference of interface specifications for XML files (seen as small DSLs). The application is in ERP systems. The other paper is with Mikolas Janota and it bears on intelligent editors for modeling languages (with the main practical contribution to feature modeling).

2008-9-15 Complexity of Common Implementation: Together with Michael, Adam, Ulrik and Kim we had a paper in the EXPRESS workshop this year showing that consistency of mixed specifications and existance of common implementation of modal transition systems are both EXPTIME-complete problems. Complexity of thorough refinement for modal transition systems is still open.

2008-9-15 Travel plans: I will be out of office: Sep 30 - Oct 5 attending MODELS in Toulouse, France. Oct 18 - Oct 24 attending GPCE/OOPSLA in Nashville, TN. Dec 13 - 18 Grace-BX meeting in Japan. Dec 19 - Jan 4 Christmas vacation in Poland.

2008-7-16 Travel plans: I will be out of office: July 25 - August 4 short vacation in Poland (no access to email), August 29 - a meeting in Aalborg, September 8-13 SPLC in Limerick, Ireland.

2008-7-12 Efficient Compilation Techniques for Large Scale Feature Models: Efficient Compilation Techniques for Large Scale Feature Models is the title of a recent paper by Marcilio Mendonca written with some assistance from his advisors and myself. It bears on variable ordering heuristics for compiling feature models to BDDs. The paper has just been accepted for GPCE'08. This year GPCE is collocated with OOPSLA, so there is an extra incentive to participate. My calendar, so far, says that I am likely to go to Nashville again, even though I have been there less than a year ago, and this is definitely not my favourite destination in the States...

2008-7-1 Long live SPLC!: We got a paper accepted with Krzysztof Czarnecki and Steven She for SPLC 2008. The paper introduces probabilistic feature models (semantics, reasoning, mining). It is a second installment of our reverse engineering series, initiated at SPLC 2007 in Kyoto. Probabilistic extension of the models is a natural way to introduce soft constraints on variability. It also naturally matches the statistic nature of mining algorithms. Let me know if you need a preprint. And head to Ireland for the conference!

2008-6-23 Are you searching for a thesis topic?: Are you in need of an MSc thesis advisor? Check out my recently revised list of thesis topics and smaller projects ideas.

2008-5-20 Bulletin of EATCS: The concurrency column: Together with Adam Antonik, Michael Huth, Kim Larsen and Ulrik Nyman I have coauthored a survey paper on old and recent results on modal transition systems, mixed specifications, and partial Kripke structures for Bulletin's of EATCS Concurrency Column. Luca has just made it public on his blog, so no reason to sit quiet about it here. Go to Luca's blog to get it.

Research

I am interested in theoretical computer science (models of concurrent computation) and in software engineering; in particular where the two fields meet, for example in component-oriented development and software product line architectures. This includes model driven engineering, modeling and implementation of software product lines, applications of constraint solving to software development, and formal verification.

I search for industrial partners on software development projects: If your company works with large software frameworks, either grown in house, or externally acquired, feel free to contact me to discuss possibilities of cooperation.

My publications are available here.

Projects & Activities (past & present)

PC member of VAMOS 2011 (also VAMOS 2010)

PC member of CONCUR 2011 in Aachen

PC member of 1st Workshop on Variability in Software Product Line Architectures (VARI-ARCH 2010)

PC member of 2nd Workshop on Model-drive Product Line Engineering (MDPLE 2010)

General Chair NW-MODE 2010 workshop in Copenhagen, at IT University (!)

Member of organizing committee of ECSA 2010 in Copenhagen (Tool Demo co-chair)

Local organization chair of ARTIST/MT-LAB Quantitative Model Checking PhD School

PC member of MODELS 2010 in Oslo, Norway (also in 2009 and 2008)

PC member of NW-MODE 2009 workshop in Tamepere, Finland

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 was involved in improving its model-checking algorithm. Together with Ulrik Larsen (CISS), Gerd Behrmann (CISS), Kim Larsen (CISS) and Jakob Vogdrup Hansen (IAR A/S).

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.

radio: A command line interface for listening to Internet radio stations. Ad hoc and permanently obsolete, but I use it regularly (a script, last updated Sep 9, 2008

A small description of my (by now former) PhD project, sufficient for a lay (=non-scientist) person, 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)

For 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 (past & present)

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

Wąsowski Family website.

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