Lehrstuhl für Informatik 8 (Theoretische Informatik)
Description
The Chair Computer Science 8 represents logic in computer science in teaching and research, with an emphasis on
- Logiic-based knowledge representation and reasoning
- Specification and verification of software
- Modal logic in computer science, in particular coalgebraic logic
- Progam logics and semantics of programming languages, in particular monad-based programming and semantics of iteration and recursion
- Coalgebraic semantics of concurrent systems
Address
Martensstraße 3
91058 Erlangen
