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 ...
Stefan Milius Curriculum Vitæ Dezember 2010UNIVERSITÄRE SELBSTVERWALTUNGberatendes Mitglied einer HabilitationskomissionMitglied im Fakultätsrat der Carl-Friedrich-Gauß-Fakultät fürMathematik und Informatik, gewählter Vertreter9/2010 – jetzt4/2005 – 12/2006VERÖFFENTLICHUNGEN17 Artikel in Proceedings internationaler Konferenzen20 Artikel in internationalen Zeitschriften,darunter 2 Fundamentalstudien in Theoretical Computer Science;Details siehe Schriftenverzeichnis.EINGELADENE VORTRÄGECIA Structures and the Semantics of Recursion, präsentiert auf dem CoalgebraDay, Amsterdam, NiederlandeElgot Theories: A new Perspective of Iteration Theories, präsentiert auf dem4. Workshop Applied and Computational Category Theory (ACCAT’09), York,EnglandCoalgebras and the Axioms of Recursion, präsentiert auf dem 9. WorkshopCoalgebraic Methods in Computer Science (CMCS’08), Budapest, UngarnCoalgebras, Monads and Semantics, präsentiert auf der 15. KonferenzComputer Science Logic (CSL’06), Szeged, UngarnCoalgebras, Monads and Semantics, präsentiert auf der 4. Irischen KonferenzMathematical Foundations of Computer Science and Information Technology2006 (MFCSIT’06), Cork, IrlandWeitere wissenschaftliche Vorträge siehe Vortragsverzeichnis.3/20103/20094/20089/20068/2006SPRACHENDeutsch MutterspracheEnglish verhandlungssicherSpanisch GrundkenntnisseRussisch GrundkenntnisseREFERENZENJiří AdámekHeinz-Peter GummMartin HylandLawrence MossJohn PowerJan RuttenInstitut für Theoretische Informatik, TechnischeUniversität Braunschweig, GermanyFachbereich für Mathematik und Informatik,Phillips Universität MarburgDepartment of Pure Mathematics andMathematical Statistics, University ofCambridge, United KingdomDepartment of Mathematics, IndianaUniversity, Bloomington IN, USADepartment of Computer Science, Universityof Bath, United KingdomCentrum Wiskunde en Informatica (CWI),Amsterdam, Niederlandeadamek@iti.cs.tubs.degumm@mathematik.uni-marburg.deM.Hyland@dpmms.cam.ac.uklsm@cs.indiana.eduA.J.Power@bath.ac.ukjanr@cwi.nl4
Stefan Milius Curriculum Vitæ Dezember 2010LEHRERFAHRUNGEuropean Summerschool on Logik Language and Information (ESSLLI’10)Kopenhagen, DänemarkIntroduction to Category Theory, Algebra and Coalgebra(mit Prof. Dr. 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 2010Technische Universität Braunschweig – Dozent (Vorlesungen, Übungen, Praktika)Grundlagen der Sicherheit in Netzen und verteilten Systemen(mit Prof. Dr. 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)Theoretische Informatik 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)Theoretische Informatik 2 SS 2009Theoretische Informatik 1- Einführung in Automatentheorie und formale Sprachen- endliche Automaten und reguläre Sprachen- kontextfreie Grammatiken und Sprachen, KellerautomatenTeamprojekte Theoretische Informatik / Software Engineering- Modellbasierte Entwicklung einer Modellbahnsteuerung mit SCADE- Entwicklung einer Stellwerkslogikkomponente mit SCADEWS 2008/2009WS 2006/2007WS 2009/2010WS 2008/2009Technische Universtität Braunschweig – Assistent (Übungen und Praktika)Theoretische Informatik 1 WS 2005/2006WS 2003/2004WS 2001/2002Theoretische Informatik 2 SS 20065
- Seite 1 und 2: Dr. Stefan MiliusKleiststr. 22 · 3
- Seite 6: Stefan Milius Curriculum Vitæ Deze
<strong>Stefan</strong> <strong>Milius</strong> Curriculum Vitæ Dezember 2010UNIVERSITÄRE SELBSTVERWALTUNGberatendes Mitglied einer HabilitationskomissionMitglied im Fakultätsrat der Carl-Friedrich-Gauß-Fakultät fürMathematik und <strong>Informatik</strong>, gewählter Vertreter9/2010 – jetzt4/2005 – 12/2006VERÖFFENTLICHUNGEN17 Artikel in Proceedings internationaler Konferenzen20 Artikel in internationalen Zeitschriften,darunter 2 Fundamentalstudien in Theoretical Computer Science;Details siehe Schriftenverzeichnis.EINGELADENE VORTRÄGECIA Structures and the Semantics of Recursion, präsentiert auf dem CoalgebraDay, Amsterdam, NiederlandeElgot Theories: A new Perspective of Iteration Theories, präsentiert auf dem4. Workshop Applied and Computational Category Theory (ACCAT’09), York,EnglandCoalgebras and the Axioms of Recursion, präsentiert auf dem 9. WorkshopCoalgebraic Methods in Computer Science (CMCS’08), Budapest, UngarnCoalgebras, Monads and Semantics, präsentiert auf der 15. KonferenzComputer Science Logic (CSL’06), Szeged, UngarnCoalgebras, Monads and Semantics, präsentiert auf der 4. Irischen KonferenzMathematical Foundations of Computer Science and Information Technology2006 (MFCSIT’06), Cork, IrlandWeitere wissenschaftliche Vorträge siehe Vortragsverzeichnis.3/20103/20094/20089/20068/2006SPRACHENDeutsch MutterspracheEnglish verhandlungssicherSpanisch GrundkenntnisseRussisch GrundkenntnisseREFERENZENJiří AdámekHeinz-Peter GummMartin HylandLawrence MossJohn PowerJan Rutten<strong>Institut</strong> für <strong>Theoretische</strong> <strong>Informatik</strong>, <strong>Technische</strong>Universität Braunschweig, GermanyFachbereich für Mathematik und <strong>Informatik</strong>,Phillips Universität MarburgDepartment of Pure Mathematics andMathematical Statistics, University ofCambridge, United KingdomDepartment of Mathematics, IndianaUniversity, Bloomington IN, USADepartment of Computer Science, Universityof Bath, United KingdomCentrum Wiskunde en Informatica (CWI),Amsterdam, Niederlandeadamek@iti.cs.tubs.degumm@mathematik.uni-marburg.deM.Hyland@dpmms.cam.ac.uklsm@cs.indiana.eduA.J.Power@bath.ac.ukjanr@cwi.nl4
Change language