People
Prof. Alessandro Abate
Alessandro Abate is an Associate Professor in the Department of Computer Science at the University of Oxford (UK). He received a Laurea in Electrical Engineering in October 2002 from the University of Padova (IT), an MS in May 2004 and a PhD in December 2007, both in Electrical Engineering and Computer Sciences, at UC Berkeley […]
Prof. Michael Benedikt
Michael Benedikt received his PhD in mathematical logic from the University Wisconsin. He then spent a decade in industrial research at Bell Laboratories, working on computational logic, data management, and telecommunications. Since 2007 he has been a professor in Oxford University’s computer science department. Research Interests Professor Benedikt’s research spans automated reasoning, data management, with […]
Prof. Yarin Gal
Yarin is an Associate Professor of Machine Learning at the Computer Science department at University of Oxford, Tutorial Fellow in Computer Science at Christ Church, Oxford and part-time fellow at the Alan Turing Institute. Prior to taking his position at Oxford he was a Research Fellow in Computer Science at St Catharine’s College, Cambridge. He […]
Prof. Ian Horrocks
Ian Horrocks is a full professor in the Oxford University Department of Computer Science and a visiting professor in the Department of Informatics at the University of Oslo. His research interests include logic-based knowledge representation and reasoning and semantic technologies, with a particular focus on ontology languages and applications. He was an author of the […]
Dr. Varun Kanade
Varun Kanade is a Research Lecturer in the Department of Computer Science, Oxford University. He has been a Simons Postdoctoral Fellow at the University of California, Berkeley and an FSMP postdoctoral fellow at ENS, Paris. He obtained his Ph.D. from Harvard University in 2012. His research interests are in machine learning and theoretical computer science. […]
Prof. Thomas Lukasiewicz
Thomas Lukasiewicz is a Professor of Computer Science in Oxford University’s Department of Computer Science since 2010. Prior to this, he was holding a prestigious Heisenberg Fellowship by the German Research Foundation (DFG), affiliated with the University of Oxford, TU Vienna, Austria, and Sapienza University of Rome, Italy. His research interests are in artificial intelligence […]
Prof. Thomas Melham
Tom Melham is a Professor of Computer Science at the University of Oxford and a Fellow of Balliol College, where he is Praefectus and Tutor in Computation. He is also Director of MPLS Research Projects at Oxford’s Mathematical, Physical and Life Sciences Division. He received his PhD from the University of Cambridge in 1990 for […]
Prof. Dan Olteanu
Dan Olteanu is an associate professor in the Department of Computer Science and Fellow of St Cross College at the University of Oxford. He has also taught at University of California, Berkeley, University of Munich, Saarland University, and Heidelberg University. He received his PhD in Computer Science from University in Munich in 2005. His research […]
Dmitrii Pasechnik
Dmitrii Pasechnik is the Oxford lead researcher in an EU Horison 2020 project OpenDreamKit devoted to (digital) virtual research environments. He works on connecting optimisation software to computer algebra systems, and is an active developer of a computer algebra system SageMath. He has an extensive publication record in mathematics of optimisatopn and related fields, in […]
Efthymia Tsamoura
Efthymia Tsamoura received her BSc in 2007 and her PhD in 2013 with honours both from the Computer Science Department of Aristotle University of Thessaloniki, Greece. Before staring her PhD studies, Efthymia worked on problems related to multimedia analysis as a research staff of the Centre for Research and Technology Hellas. Since June 2013 she […]