Gergely Buday
School of Computer Science
Research and Teaching Assistant
Full contact details
School of Computer Science
Regent Court (DCS)
211 Portobello
91Ö±²¥
S1 4DP
- Profile
-
Gergely is interested in the formal verification of software, especially verified compilers. For five years he has worked at Siemens and for ten years he taught computer science in Gyöngyös, Hungary. He is now a member of the Foundations of Computation research group. Gergely has a degree in Technical Informatics from the Technical University of Budapest and works towards his PhD at the University of 91Ö±²¥ under the supervision of Andrei Popescu.
- Research interests
-
Functional programming, formal verification, verified compilers, concurrent functional programming, logic.
- Publications
-
There has been a problem showing this information. Please try again later.
- Research group
-
Foundations of Computation research group