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 ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
<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