Navigation:

Hilfsnavigation:

Language / Sprache / Langue / LÃngua
zum Inhalt
zur Hauptnavigation
zur Zielgruppennavigation

Zielgruppennavigation:

Hauptnavigation:

Sprache:

Arbeitsgruppe Softwareentwicklung und Verifikation

Prof. Dr. Markus Müller-Olm
Institut für Informatik
Einsteinstrasse 62
48149 Münster
Germany

Tel.: +49 (251) 83-33792
Fax: +49 (251) 83-33755

Prof. Dr. Markus Müller-Olm

Institut für Informatik
Fachbereich Mathematik und Informatik
Westfälische Wilhelms-Universität Münster
Einsteinstr. 62
48149 Münster, Germany

Office: Room 716
Phone: +49-251-83-33765
Fax: +49-251-83-33755
E-mail: markus.mueller-olm AT uni-muenster.de

Sprechstunde

Montags, 12:15-13:00 Uhr.

Teaching

Since winter term 2005/06 at Westfälische Wilhelms-Universität Münster.
Before winter term 2005/06 at Universität Dortmund and FernUni Hagen.

Research interests

My research concerns construction, analysis, and verification of software systems. I am particularly interested in compiler and program verification, concurrency, process algebra, model checking, and, last but not least, in program analysis.

Biography

Some biographical data are available from a short CV in German.

Publications

Most of my recent papers are available from the publications page.

Slides

You can download the slides from my tutorial on Program Analysis at the Security Spring School (April 2005) in Marseille. You can also look at some photos from the school and the wonderful landscape nearby. You can also download the slides of the tutorial on Model Checking and Program Analysis at the MOVEP'02 summer school in Nantes. There is a color (movep02color.pdf) and a black and white (movep02bw.pdf) version.

Scientific Activities

CONCUR 2010 (PC member): 21st International Conference on Concurrency Theory, Paris, France, August 31-September 3, 2010.
CAV 2010 (PC member): 22nd International Conference on Computer Aided Verification, Edinbourgh, Scotland, July 16-19, 2010.
MOVEP 2010 (PC member): 9th (Summer) School on Modelling and Verification of Parallel Systems, Aachen, Germany, June 28-July 2, 2010.
FOSSACS 2010 (PC member): 13th International Conference on Foundations of Software Science and Computation Structures, Paphos, Cyprus, March 20-28, 2010. Affiliated with ETAPS 2010.
VMCAI 2010 (PC member): 11th International Conference on Verification, Model Checking and Abstract Interpretation, France, Spain, January 17-19, 2010 (co-located with POPL 2010).
SYNASC 2009 (PC member): 11th International Symposium on Symbolic and Numveric Algorithms for Scientific Computing, Timisoara, Romania, September 26-29,2009.
ATPS 2009 (PC member): 4. Arbeitstagung Programmiersprachen auf der GI-Jahrestagung Informatik 2009, Lübeck, Germany, September 24, 2004.
ICALP 2009 (PC member, Track B, logic and semantics): 36th International Colloquium on Automata, Languages and Programming, Rhodes, Greece, July 5-12, 2009.
CAV 2009 (PC member): 21st International Conference on Computer Aided Verification, Grenoble, France, June 26-July 2, 2009.
COCV 2009 (PC member): 8th International Workshop on "Compiler Optimization Meets Compiler Verification", York, England, March 22, 2009.
Invited lectures at EWSCS 2009: 14th Estonian Winter School in Computer Science, Palmse, Estonia, March 1-6, 2009.
PC co-chair of VMCAI 2009: 10th International Conference on Verification, Model Checking and Abstract Interpretation, Savannah, GA, USA, January 18-20, 2009 (co-located with POPL 2009).
SYNASC 2008 (PC member): 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Comput ing, Timisoara, Romania, September 26-29, 2008.
MOVEP 2008 (PC member): 8th (Summer) School on Modelling and Verification of Parallel Systems, Orleans, France, June 23-27, 2008.
SYNASC 2007 (PC member): 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, September 26-29, 2007.
VMCAI 2007 (PC member): 8th International Conference on Verification, Model Checking and Abstract Interpretation, Nice, France, January 14-16, 2007 (co-located with POPL 2007).
MEMICS 2006 (PC member): 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Mikulov, Czech, October 27-29, 2006.
ATPS 2006 (PC member): 4. Arbeitstagung Programmiersprachen auf der 36. GI-Jahrestagung, Dresden, Germany, Oktober 5/6, 2006.
SYNASC 2006 (PC member): 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, September 26-29, 2006.
INFINITY 2006 (PC member): 8th International Workshop on Verification of Infinite-State Systems, Bonn, Germany, August 26, 2006.
MOVEP 2006 (PC member): 7th Summer School on Modelling and Verification of Parallel Systems, Bordeaux, France, June 19-23, 2006.
COCV 2006 (PC member): 5th International Workshop on "Compiler Optimization Meets Compiler Verification", Vienna, Austria, April 2, 2006.
Co-Organizer of Dagstuhl Seminar on Software Verification: Infinite-State Model Checking and Static Program Analysis , Schloss Dagstuhl, Germany, February 19-24, 2006.
VMCAI 2006 (PC member): 7th International Conference on Verification, Model Checking and Abstract Interpretation, Charleston, North Carolina, USA, January 8-10, 2006.
SYNASC 2005 (PC member): 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, September 25-29, 2005.
IEEE ISoLA 2005 (PC member): Workshop on Leveraging Applications of Formal Methods, Verification, and Validation, Loyola College Graduate Center, Columbia, MD, USA, September 23-24, 2005.
Invited Tutorial on Program Analysis at Spring School on Security: Marseille, France, April 25-29, 2005.
COCV 2005 (PC member): 4th International Workshop on "Compiler Optimization Meets Compiler Verification", Edinburgh, UK, April 3, 2005.
MOVEP 2004 (PC member): 6th Winter School on Modelling and Verification of Parallel Systems, Brussels, Belgium, December 13-17, 2004.
ATPS 2004 (PC member): 3. Arbeitstagung Programmiersprachen auf der 34. GI-Jahrestagung, Ulm, Germany, September 24, 2004.
ESOP 2004 (PC member): European Symposium on Programming, Barcelona, Spain, March 29-April 2, 2004. Affiliated with ETAPS'04.
VMCAI 2004 (PC member): 5th International Conference on Verification, Model Checking and Abstract Interpretation, Venice, Italy, January 11-13, 2004.
Co-Organizer of Dagstuhl Seminar on Reasoning About Shape, Schloss Dagstuhl, Germany, March 2-7, 2003.
Invited Tutorial on Model Checking and Program Analysis at MOVEP 2002: 5th Summer School on Modelling and Verification of Parallel Systems, Nantes, France, June, 17-21, 2002.
COCV 2002 (PC member): International Workshop on "Compiler Optimization Meets Compiler Verification", Grenoble, France, April 13, 2002.

Markus Müller-Olm

Last modified: Fri Jan 8 14:28:46 CET 2010