Nicole Ondrusch

		Anschrift	Universität Stuttgart  Institut für Formale Methoden der Informatik Universitätsstraße 38 D-70569 Stuttgart Deutschland
		Telefon	+49 711 7816-292
		Fax	+49 711 7816-370
		E-Mail	ondrusch@informatik.uni-stuttgart.de
		Raum	1.360
		Sprechzeit	nach Vereinbarung

Arbeitsgebiete

• Gleichungssysteme über Gruppen

Lehre

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

English	Homepage	nach oben	vorherige	nächste	Kontakt