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

Here you can find the slides of my talks at the second tutorial event of SPP RS3 (Reliably Secure Software Systems) at Schloss Buchenau (September 2012):

You can also download the slides from my tutorial on Program Analysis at the Security Spring School (April 2005) in Marseille. The slides of my tutorial on Model Checking and Program Analysis at the MOVEP'02 summer school in Nantes are provided in a color (movep02color.pdf) and a black and white (movep02bw.pdf) version.

Scientific Activities

 

  • SEUH 2022 (PC member): Software Engineering im Unterricht der Hochschulen, Berlin, Germany, February 24.-25., 2022.
  • VMCAI 2022 (PC member): 23th International Conference on Verification, Model Checking and Abstract Interpretation, Philadelphia, USA, January 16-18, 2022 (co-located with POPL 2022).
  • ESOP 2019 (PC member): European Symposium on Programming, Prague, Czech Republic, April, 8-11, 2019. Affiliated with ETAPS 2019.
  • PC co-chair of SETTA 2018 (PC member): 4th Symposium on Dependable Software Engineering: Theories, Tools and Applications, Beijing, China, September, 4-6, 2018.
  • NETYS 2018 (PC member): 6th Internation Conference on Networked systems, Essaouria, Marocco, May, 9-11, 2018.
  • SETTA 2017 (PC member): 3rd Symposium on Dependable Software Engineering: Theories, Tools and Applications, Changsha, China, October, 23-25, 2017.
  • SETTA 2016 (PC member): 2nd Symposium on Dependable Software Engineering: Theories, Tools and Applications, Beijing, China, November, 9-11, 2016.
  • ATPS 2016 (PC member): 9. Arbeitstagung Programmiersprachen im Rahmen der Software Engineering 2016, Wien, Austria, February, 25-26, 2016.
  • ICALP 2015 (PC member, Track B: Logic, Semantics. Automata, and Theory of Programming): 42nd International Colloquium on Automata Languages, and Programming. Kyoto, Japan, July 6-10, 2015.
  • ATPS 2015 (PC member): 8. Arbeitstagung Programmiersprachen im Rahmen der Software Engineering & Management 2015, Dresden, Germany, March, 18, 2015.
  • PC co-chair of SAS 2014: 21st International Static Analysis Symposium. Munich, Germany, September 11-13, 2014.
  • RP 2013 (PC member): 7th International Workshop on Reachability Problems. Uppsala, Sweden, September 25-27, 2013.
  • SAC 2013 (PC member, Track SVT - Software Verification and Testing): 28th ACM Symposium on Applied Computing. Coimbra, Portugal, March 18 - 22, 2013.
  • MOVEP 2012 (PC member): 10th School about Modelling and Verifying Parallel processes, CIRM, Luminy (Marseille), France, December 3-7, 2012.
  • Invited lectures at the Second Tutorial Event of DFG SPP Reliably Secure Software Systems (RS3) at Schloss Buchenau, September 3-6, 2012.
  • SAS 2012 (PC member): 19th International Static Analysis Symposium. Deauville, France, September, 11-13, 2012.
  • FOSSACS 2012 (PC member): 15th International Conference on Foundations of Software Science and Computation Structures. Affiliated with ETAPS 2012. Tallin, Estonia, March 24-April 1, 2012.
  • SAC 2012 (PC member, Track SVT - Software Verification and Testing): 27th ACM Symposium on Applied Computing. Riva del Garda (Trento), Italy, March 25-29, 2012.
  • KPS 2011 (Co-organizer): 16. Kolloquium Programmiersprachen und Grundlagen der Programmierung, Schloss Raesfeld, Germany, September 25-28, 2011.
  • SYNASC 2011 (PC member, Track Logic and Programming): 13th International Symposium on Symbolic and Numveric Algorithms for Scientific Computing, Timisoara, Romania, September 26-29,2011.
  • DCON 2011 (Organizer): 4. Annual Meeting of German Research Groups in Concurrency Theory, Alexander-von-Humboldt-Haus, Münster, Germany, March 3-4, 2011.
  • MEMICS 2010 (PC member): Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Mikulov, Czech Republic, October 22-24, 2010.
  • Invited lectures at VTSA 2010: Summer School 2010: Verification Technology, Systems and Applications, Luxembourg, September 6-10, 2010.
  • 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, Madrid, Spain, January 17-19, 2010 (co-located with POPL 2010).
  • SYNASC 2009 (PC member): 11th International Symposium on Symbolic and Numeric 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, 2009.
  • 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.