Dr. Stefan Milius - Institut für Theoretische Informatik - Technische ...
Dr. Stefan Milius - Institut für Theoretische Informatik - Technische ...
Dr. Stefan Milius - Institut für Theoretische Informatik - Technische ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
<strong>Stefan</strong> <strong>Milius</strong> Curriculum Vitæ Dezember 2010LEHRERFAHRUNGEuropean Summerschool on Logik Language and Information (ESSLLI’10)Kopenhagen, DänemarkIntroduction to Category Theory, Algebra and Coalgebra(mit Prof. <strong>Dr</strong>. J. Adámek)- Kategorien, Funktoren, Natürliche Transformationen, Adjunktionen- Algebren und Semantik abstrakter Datentypen- Rekursion und Induktion- Koalgebren für die Semantik von zustandsbasierten Systemen- Korekursion und KoinduktionAugust 2010<strong>Technische</strong> Universität Braunschweig – Dozent (Vorlesungen, Übungen, Praktika)Grundlagen der Sicherheit in Netzen und verteilten Systemen(mit Prof. <strong>Dr</strong>. Lars Wolf)- Grundlegende Verfahren der Kryptologie (klassische Verfahren, DES,AES, RSA)- Authentifizierung und Schlüsselaustausch (Hashfunktionen, MACs,Diffie-Hellman-Verfahren, DSA, Zertifikate)- Anwendungen (Protokolle für Sicherheitsdienste, Sicherheit in drahtlosenNetzen, IPSec, Vertraulichkeit in Email und im WWW)<strong>Theoretische</strong> <strong>Informatik</strong> 2- Turingmaschinen und entscheidbare Sprachen; unentscheidbare Probleme(Halteproblem etc.)- Komplexitätstheorie (P und N P, N P-vollständige Probleme, Optimierungsprobleme,Raumkomplexitätsklasse PSPACE)Praktikum Kryptologie- Implementierung von Chiffrierverfahren und Kryptoanalyse (Vigenère,Running-Key-Cipher, IDEA, ElGamal)- Implementierung kryptographischer Protokolle (Station-to-Station, ObliviousTransfer, Geheimnisaustausch, Vertragsunterzeichnung, Auktion)WS 2010/2011WS 2009/2010(Lehraufträge)SS 2010SS 2010(Lehrauftrag)<strong>Theoretische</strong> <strong>Informatik</strong> 2 SS 2009<strong>Theoretische</strong> <strong>Informatik</strong> 1- Einführung in Automatentheorie und formale Sprachen- endliche Automaten und reguläre Sprachen- kontextfreie Grammatiken und Sprachen, KellerautomatenTeamprojekte <strong>Theoretische</strong> <strong>Informatik</strong> / Software Engineering- Modellbasierte Entwicklung einer Modellbahnsteuerung mit SCADE- Entwicklung einer Stellwerkslogikkomponente mit SCADEWS 2008/2009WS 2006/2007WS 2009/2010WS 2008/2009<strong>Technische</strong> Universtität Braunschweig – Assistent (Übungen und Praktika)<strong>Theoretische</strong> <strong>Informatik</strong> 1 WS 2005/2006WS 2003/2004WS 2001/2002<strong>Theoretische</strong> <strong>Informatik</strong> 2 SS 20065
Change language