جستجوی استاد راهنمای دانشگاهی

• Constraint Programming
• Boolean Satisfiability
• Artificial Intelligence
• +۵ مورد دیگر

Steve Prestwich is a Lecturer at the School of Computer Science and Information Technology, University College Cork. He specializes in Artificial Intelligence, Data Analytics, and Algorithmics, with research interests spanning constraint programming, Boolean satisfiability, and hybrid search methods. Education: BA (Hons) Mathematics from University of Oxford, MSc and PhD in Computer Science from University of Manchester. Research Focus: His work integrates constraint programming, SAT solving, and metaheuristics for optimization under uncertainty, with applications in inventory control, protein design, and stochastic modeling. Awards: Runner-up, Constraint Modelling Challenge Bronze medal, SAT'05 Solver Competition

Gregory Provanمشاهده پروفایل

استاد

• Complex Systems
• Artificial Intelligence
• Diagnostics
• +۳ مورد دیگر

Professor Gregory Provan is a Full Professor and Programme Coordinator for BSc Data Science and Analytics at University College Cork's School of Computer Science and Information Technology. He directs the Complex Systems Laboratory and holds a PhD from the University of Oxford, with prior academic appointments at the University of Pennsylvania. His educational journey includes: BSE from Princeton University MSc from Stanford University DPhil from University of Oxford This foundation supports his interdisciplinary research approach. Professor Provan's research spans: complex systems design and analysis with applications in: Embedded diagnostics algorithms for large-scale systems Stochastic model-based diagnosis frameworks Automated benchmark model generation Sustainable energy system optimization Co-design of embedded systems His work bridges artificial intelligence, data analytics, and network architectures to solve real-world engineering challenges. Analysis of his extensive publication record reveals core themes: Advancements in model-based diagnosis and control Computational methods for complex systems Applications in sustainable energy and building automation Innovations in stochastic optimization and machine learning His recent work increasingly focuses on cybersecurity for cyber-physical systems and explainable AI. Professor Provan has secured significant research funding including: Science Foundation Ireland grants totaling over €1.2M Industry partnerships with Tyndall National Institute Enterprise Ireland support for competence centers His research group addresses fundamental challenges in complex systems engineering. He has supervised numerous doctoral candidates to completion, including: Jun Wang (Modeling real-world complex systems) Alie El-Din Mady (Networked control systems) Margarita Razgon (Constraint satisfaction problems) Ma Ji (Uncertainty visualization) Current doctoral researchers continue work on wireless sensor networks and analog system diagnosis. Honors include the 2008 Best Paper Award from the IEEE Prognostics and Health Management Conference for his work on approximation techniques in model-based diagnostics. Professor Provan leads the Complex Systems Laboratory which focuses on: Modeling and analysis of sustainable energy systems Diagnostics and control of large-scale networks Embedded system co-design The lab maintains collaborations with international research institutions and industry partners.