I am a Senior Lecturer in Computer Science with a background in mathematics. Since April 2015 I have worked at Coventry University. I work in the Faculty of Engineering, Environment and Computing (EEC) as a member of both the School of Computing, Electronics and Mathematics (CEM) and the Faculty Research Centre for Fluid and Complex Systems (FCS).
I mainly teach on modules in programming and theoretical computer science; and I am Course Director for the MSci in Computer Science.
My research is mainly in the area of Computer Algebra / Symbolic Computation, in particular, Cylindrical Algebraic Decomposition and Quantifier Elimination. I am further interested in applications of the former to problems in biology and economics, and the application of machine learning to improve QE software. In the past I also produced research in Integrable Systems, in particular, Abelian Functions.
My main research projects are the EU H2020 Project SC2 and an EPSRC Project on Embedding Machine Learning in Quantifier Elimination Procedures.
Room EC 3-12,
Engineering and Computing Building,
Coventry, CV1 2JH, UK
I am leading EPSRC Project EP/R019622/1, Embedding Machine Learning within Quantifier Elimination Procedures, starting July 2018. There is a postdoc job opportunity - apply here.
I was a lecturer at the SAT/SMT/AR Summer School 2018 in Manchester, UK.
As of August 2017 I have been promoted to Senior Lecturer in Computer Science at Coventry University.
In Summer 2017 I joined Faculty Research Centre for Flow Measurement and Fluid Mechanics at Coventry University.
In 2017 I was: Calulemus Track Chair for CICM 2017; general co-Chair for SC2 2017; and co-Chair of Track 1 for MACIS 2017.
I also served on: the PC for the Symbolic Computation Track of SYNASC 2017; the PC for CASC 2017; and Publicity Chair for ECCAD 2017.
Starting April 2015 I have a new job as Lecturer in Computer Science at Coventry University.
In January 2015 I was appointed as the Information Director of SIGSAM.
Website template from Sylvain Lafitte Web Design / Development.