Manuel Bärenz
Wissenschaftlicher Mitarbeiter
Contact
Address:
Otto-Friedrich-Universität Bamberg
Fakultät für Wirtschaftsinformatik und Angewandte Informatik
Professur für Grundlagen der Informatik
D-96045 Bamberg
Office:
An der Weberei 5
Zimmer WE5/05.053
D-96047 Bamberg
Consultation Hour:
Phone:
+49 (0) 951 863 2832
E-Mail:
Interests
- Functional reactive programming
- Linear temporal types
- Dependent types
- Category theory