Dr. Péter BATTYÁNYI | Faculty of Informatics

 

Dr. Péter Battyányi

Dr. Péter Battyányi

lecturer

Szervezeti egység

University of Debrecen, Faculty of Informatics, Department of Computer Science

Központi telefonszám

+36 52 512 900

75115

E-mail cím

battyanyi.peter@inf.unideb.hu

Cím

4028 Debrecen, Kassai út 26.

Épület

Faculty of Informatics building

Emelet, ajtó

floor 1, I115 (Lecturers’ room)

Weboldal

Szervezeti weboldal

Weboldal

Tudóstér profil

List of publications

Main research area

• Lambda calculus
• Type theory
• Unconventional computation
• Formal semantics of programming languages