ALMA - Analysis of Markovian Models

Research

People

Lectures

Contact
Junior Research Group in the  Cluster of Excellence 
Multimodal Computing and Interaction

Department of Computer Science - Saarland University

 Dr. Verena Wolf

 Head of the Junior Research Group 

 Saarland University,
 Campus E1 3, Room 435
 66123 Saarbrücken

 Phone: +49 (0)681 302-5586
 Fax:  +49 (0)681 302-5636
 E-Mail: wolf(-at-)cs.uni-sb.de
Check out where the photo was made.

News:
  • Recent papers: 
    • Fast Adaptive Uniformization of the Chemical Master Equation. F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf. Accpeted at HIBI'09. (pdf).
    • Approximation of Event Probabilities in Noisy Cellular Processes. F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf. Accpeted at CMSB'09. (Related technical report can be found here).
  • Recent Research Activities: 
    • CS2Bio'10 (member of PC)
    • NSMC'10 (member of PC)
    • QEST'10 (member of PC)
    • QAPL'10 (member of PC)
    • QEST'09 (member of PC)
    • Infinity'09 (member of PC)
    • QFM'09 (member of PC)

Recently, I have joined Saarland University to become head of my own research group, "ALMA - Analysis of Markovian Models", which is part of the cluster of excellence "Multimodal Computing and Interaction". 
Until March 2009, I have been a postdoc research fellow in Tom Henzinger's group (MTC) at the École Polytechnique Fédérale de Lausanne (EPFL) after I received my Ph.D. in Computer Science from the University of Mannheim in April 2008.

My full CV can be found here.

Publications

Please, check out my DBLP entry.

Teaching

Summer Semester 2009
Stochastic Dynamics in Systems Biology

Winter Semester 2009
Stochastic Problem Solving in Computer Science (together with H. Hermanns)

Summer Semester 2010
Modeling and Simulation (4+2 SWS)