Gergely Buday

School of Computer Science Regent Court

University of Sheffield · United Kingdom

Functional programmingformal verificationverified compilersconcurrent functional programminglogic

About

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 Sheffield under the supervision of Andrei Popescu.

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.