UnivIS
Informationssystem der Friedrich-Alexander-Universität Erlangen-Nürnberg © Config eG 
FAU Logo
  Sammlung/Stundenplan    Modulbelegung Home  |  Rechtliches  |  Kontakt  |  Hilfe    
Suche:      Semester:   
 Lehr-
veranstaltungen
   Personen/
Einrichtungen
   Räume   Forschungs-
bericht
   Publi-
kationen
   Internat.
Kontakte
   Examens-
arbeiten
   Telefon &
E-Mail
 
 
 Darstellung
 
Druckansicht

 
 
Einrichtungen >> Technische Fakultät (TF) >> Department Informatik (INF) >>
Lehrstuhl für Informatik 8 (Theoretische Informatik)

Der Lehrstuhl 8 repräsentiert Themen aus dem Bereich Logik in der Informatik in Lehre und Forschung.

Forschungsschwerpunkte

Logikbasierte Wissensrepräsentation; Softwarespezifikation und -verifikation; Modallogik in der Informatik, insbesondere koalgebraische Logik; Programmlogiken und Semantik von Programmiersprachen, insbesondere monadische Programmierung und Semantik von Iteration und Rekursion; koalgebraische Semantik nebenläufiger Systeme.

Kooperationsbeziehungen

Universität Bremen, AG Theorie der Künstlichen Intelligenz (Prof. Dr. Carsten Lutz);
TU Braunschweig, Institut für Theoretische Informatik (Prof. Dr. Jiri Adamek);
Australian National University, Canberra, Research School of Computer Science, (Prof. Dr. Dirk Pattinson);
Hokkaido University, Dept. of Philosophy (Prof. Dr. Katsuhiko Sano);
University College London, Dept. of Computer Science (Dr. Alexandra Silva, Dr. Fabio Zanasi);
Universität Duisburg-Essen, Fakultät für Ingenieurwissenschaften, Abteilung Informatik und Angewandte Kognitionswissenschaft (Prof. Dr. Barbara König);
University of Birmingham, School of Computer Science (Dr. Paul Blain Levy);
Indiana University Bloomington, Department of Mathematics (Prof. Dr. Lawrence Moss);
Universiteit Leiden, Leiden Institute of Advanced Computer Science (Prof. Dr. Marcello Bonsangue);
Cornell University, Dept. of Computer Science (Prof. Dr. Dexter Kozen)
KU Leuven, Dept. of Computer Science (Dr. Maciej Pirog)
Physikalisch-Technische Bundesanstalt (PTB), Braunschweig (Dr. Dieter Siebold)
TU Delft, Dept. of Software Technology (Prof. Dr. Jan Hidders)
Birkbeck, University of London (Dr. Szabolcs Mikulás)
UC Berkeley, Dept. of Philosophy (Prof. Dr. Wesley Holliday)
University of Leicester, Dept. of Computer Science (Prof. Dr. Alexander Kurz)
Ecole Normale Supérieure de Lyon, Laboratoire de l'Informatique du Parallélisme (Dr. Filippo Bonchi)
University of Strathclyde, Dept. Computer and Information Sciences (Dr. Clemens Kupke)
Universiteit van Amsterdam, Institute for Logic, Language and Computation (Prof. Dr. Yde Venema)
Universiteit Utrecht, Dept. of Philosophy (Prof. Dr. Albert Visser)

Leitung
Prof. Dr. Lutz Schröder

Wiss. Mitarbeiter
Fabian Birkmann
Üsame Cengiz, M. Sc.
Hans-Peter Deifel, M. Sc.
Chase Ford, M. Sc.
Jonas Forster, M. Sc.
Florian Frank, M. Sc.
PD Dr. Sergey Goncharov
Merlin Humml, M. Sc.
PD Dr. Tadeusz Litak, Akad. ORat
Prof. Dr. Stefan Milius
Dr. Pedro Nora
Dr. Stylianos Tsampas, Ph.D.
Dr. Henning Urbat
Paul Wild, M. Sc.
Dr.-Ing. Thorsten Wißmann

Laufende und vor kurzem beendete Forschungsprojekte (aus dem Berichtszeitraum 1.1.2018-31.12.2018)

Ältere Forschungsprojekte

UnivIS ist ein Produkt der Config eG, Buckenhof