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:

Mail to Manuel Bärenz

Interests

  • Functional reactive programming
  • Linear temporal types
  • Dependent types
  • Category theory