Admin/page/main-content/munich.content

 
 
 <h2>People</h2>
 
 The following people are involved in Isabelle applications or
-development at our group (alphabetical order):
+development in our group (alphabetical order):
+<p>
+<b>Researches:</b>
 
 <ul>
 
 <li> <a href="http://www.in.tum.de/~bauerg/">Gertrud Bauer</a>
 <li> <a href="http://www4.in.tum.de/~berghofe/">Stefan Berghofer</a>

 <li> <a href="http://www4.in.tum.de/~nipkow/">Tobias Nipkow</a>
 <li> <a href="http://www4.in.tum.de/~oheimb/">David von Oheimb</a>
 <li> <a href="http://www4.in.tum.de/~prensani/">Leonor Prensa Nieto</a>
 <li> <a href="http://www4.in.tum.de/~pusch/">Cornelia Pusch</a>
 <li> <a href="http://www4.in.tum.de/~wenzelm/">Markus Wenzel</a>
+
+</ul>
+
+<p>
+<b>Students:</b>
+
+<ul>
+
+<li> <a href="http://www.informatik.tu-muenchen.de/~nanz/">Sebastian Nanz</a> </li>
+<li> <a href="http://www.informatik.tu-muenchen.de/~pfeifrot/">Johannes Pfeifroth</a> </li>
 
 </ul>
 
 
 <h2>Projects</h2>