Mariëlle Stoelinga

I am an assistant professor in the FMT group, headed by Jaco van de Pol, University of Twente, the Netherlands.

Research

Quantitative analysis of quantitative sytems


  • Mail Address
    Dept. of Computer Science (Zilverling)
    Formal Methods & Tools
    P.O. Box 217
    7500 AE Enschede
    The Netherlands
  • Visiting Address
    Room INF 5047
    Zilverling Building
    (nr 11 on this map)
  • Phone
    +31 53 489 3773 (voice)
    +31 53 489 3767 (secretary)
    +31 53 489 3247 (fax)
  • e-mail
    marielle"at"cs.utwente.nl

Teaching

I am involved in
  • Algorithms, data structures & complexity (2nd quarter, instruction).
  • Modeling & Analysis of Concurrent Systems (MACS 2) (2nd quarter, lecture on Games for Verification).
  • Caput & referaat (3rd & 4th quarter)
    See here for projects (restricted UT access).
  • Testing Techniques (4th quarter).


Enschede:
home town of Grolsch beer

Personal & Past