Raffaele Riva is a PhD student in Computer Science. Raffaele Riva researches formal methods, and he is interested in how they can be applied in practice to produce reliable and secure software. As a result of the very diverse nature of his work, Raffaele has authored or coauthored research papers on computer security, probabilistic programming, functional programming and computational logic.
Publishing in venues such as ACM Transactions on Software Engineering and Journal of the ACM.
Raffaele Riva has been a speaker at the International Conference on Information and Automation (ICIA) and Conference on Software Engineering (COSE) 2015, one of the major software engineering conferences in Europe.Raffaele Riva was among the winners of the 2014 European Commission Erasmus Mundus Scholarship and is a member of the European Scholarship Union (ESU).
He received his Degree in Computer Science at University of Milano-Bicocca (2010) and his PhD in Computer Science at University College London, UK (2017). Raffaele studied under the supervision of Prof. Adam Chlipala and Prof. Roberto Carneiro.
He joined Microsoft Research in Cambridge in 2017, where he’s part of the Programming Principles and Tools team, led by Dr. Philip Wadler. He works on a variety of research projects related to programming languages, such as F*, the programming language that implements ML-like programming concepts with deep static verification of type and memory safety. He is also the co-creator of the Language-Oriented Programming (LOP) programming language, which allows the programmer to write programs in a natural language, such as English.
Other related research interests include: functional programming, typed functional programming, algebraic effects and regular type systems, probabilistic programming and type theory.
Raffaele has been teaching functional programming at various institutions, including University College London and University of Milano-Bicocca (Italy). He was a visiting researcher at the University of Pennsylvania in 2010. During his PhD studies he was awarded the prestigious European Commission Erasmus Mundus Scholarship Award 2014 by the European Commission. See this article on Crunchbase, for more information.
Learn more about Riva on https://www.we-wealth.com/talents/raffaele-riva