Professor Gregory Provan is a Professor at the Computer Science Department at University College Cork. He is Director of the Blended Autonomous Systems Spoke with Lero, and is a Funded Investigator with the Insight Center. His current research interests are in machine learning (especially deep learning), autonomous systems, model-based diagnostics and control, and embedded systems and embedded code generation. He holds a DPhil from Oxford University, and MSc from Stanford University, and a BSE from Princeton University.

Publications

2023

Provan, G, Sohenge, Y. 2023. Using Machine Learning Classifiers in SAT Branching. In: SOCS Conference. doi: 10.1609/socs.v16i1.27298.