Scholar
Vincent Rahli
Google Scholar ID: SDbJOBoAAAAJ
University of Birmingham
Citations & Impact
Citations
524
H-index
12
i10-index
15
Publications
20
Co-authors
5
list available
Contact
No contact links provided.
Publications
Resume (English only)
Education
- From October 2006 to December 2010, a PhD student at the School of Mathematical and Computer Sciences at Heriot-Watt University in Edinburgh. Supervisors were Prof. Fairouz Kamareddine and Dr. J. B. Wells of the ULTRA group.
Background
- Research interests include the verification of distributed systems and intuitionistic type theory.
