Differences
This shows you the differences between two versions of the page.
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> | ||
\\ | \\ |