HOME

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Last revision Both sides next revision
summerschool2018:lecture9 [2018/02/16 17:46]
nour.assy
summerschool2018:lecture9 [2018/04/25 17:29]
nour.assy
Line 8: Line 8:
  
 | [[http://​wwwhome.cs.utwente.nl/​~vdpol/​|{{ :​summerschool2018:​jaco-vdpol.jpg?​direct&​200 }}]] | [[http://​arnd.hartmanns.name/​|{{ :​summerschool2018:​arnd-hartmanns.jpg?​direct&​200 }}]] | | [[http://​wwwhome.cs.utwente.nl/​~vdpol/​|{{ :​summerschool2018:​jaco-vdpol.jpg?​direct&​200 }}]] | [[http://​arnd.hartmanns.name/​|{{ :​summerschool2018:​arnd-hartmanns.jpg?​direct&​200 }}]] |
 +
 +\\ \\
 +
 +**BSR lecture**: Thursday July 5th, 9:00-10:30
  
 \\ \\ \\ \\
Line 23: Line 27:
 \\ \\
  
-[[http://​arnd.hartmanns.name/​|Arnd Hartmanns]] is an assistant professor in the Formal Methods and Tools group at the University of Twente. His primary research interests are modelling tools and formalisms for stochastic timed and hybrid systems (in particular Modest) and their applications in various fields. Arnd was previously a postdoc in the Formal Methods and Tools group at the University of Twente and the Dependable Systems and Software group at Saarland University, where he also completed his Ph.D. in computer science with a thesis On the Analysis of Stochastic Timed Systems in 2015.+**[[http://​arnd.hartmanns.name/​|Arnd Hartmanns]]** is an assistant professor in the Formal Methods and Tools group at the University of Twente. His primary research interests are modelling tools and formalisms for stochastic timed and hybrid systems (in particular Modest) and their applications in various fields. Arnd was previously a postdoc in the Formal Methods and Tools group at the University of Twente and the Dependable Systems and Software group at Saarland University, where he also completed his Ph.D. in computer science with a thesis On the Analysis of Stochastic Timed Systems in 2015.
 </​WRAP>​ </​WRAP>​
 \\ \\