Dr Victor Gomes

Bye Fellow
Program verification and correctness, interactive theorem proving systems, algebraic methods in computer science, Kleene algebras, concurrency, and distributive systems.

Dr Victor Gomes

Dr Victor Gomes, Bye-Fellow, Fitzwilliam College, Cambridge

I did Computer Engineering at Politecnico di Torino in Italy and finished a 'Diplôme d'Ingénieur' at INSA Lyon, France. I completed my PhD at the University of Sheffield on Kleene algebras for program correctness.

I am a Research Associate at the Computer Laboratory working in the REMS (Rigorous Engineering of Mainstream Systems) project. 

I supervise undergraduate students in many Computer Science subjects, including discrete mathematics, computation theory, and semantics of programming languages.