Gergely Buday

School of Computer Science Regent Court

University of Sheffield · United Kingdom

Functional programmingformal verificationverified compilersconcurrent functional programminglogic

简介

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.

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。