|
|
|
IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark
room no. 4C 12 !!! NEW !!!
phone (+45) 7218 5086
fax (+45) 7218 5001
|
News ![[feed]](feed-icon-14x14.png)
- 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).