Nicole Ondrusch

		address	University of Stuttgart  Institute of Formal Methods in Computer Science Universitätsstraße 38 D-70569 Stuttgart Germany
		phone	+49 711 7816-292
		fax	+49 711 7816-370
		e-Mail	ondrusch@informatik.uni-stuttgart.de
		room	1.360
		office hours	by appointment

Research Interests

• Equation Systems on Groups

Teaching

• Vorlesung Sicherheit und Verifikation
• Seminar Sicherheitsmodelle und Verifikation
• Seminar Daten- und Netzwerksicherheit
• Kleinrechnerbetriebssysteme (SOLO)
• Übungen Theoretische Informatik 2 (swt)

deutsch	home	up	previous	next	contact