جست‌وجوی استاد و پژوهشگر

Joel Gohمشاهده پروفایل

دانشیار

• Health services and systems
• Transportation, logistics and supply chains
• Operations research
• +۶ مورد دیگر

Joel Goh is Associate Professor at the Department of Analytics and Operations, NUS Business School, National University of Singapore. He serves as Director of the J.Y. Pillay Comparative Asia Research Centre (under NUS Global Asia Institute) and PhD Program Director at the Institute of Operations Research and Analytics (IORA). Previously, he was Assistant Professor at Harvard Business School (2014-2017) and Visiting Scholar (2017-2022). BSc, MSc, PhD in Operations, Information, and Technology from Stanford University His research focuses on healthcare analytics (preventing health conditions, hospital operations, frailty assessment), supply chain analytics (digital business models, platform leakage), and service platform operations (hospital-at-home programs, incentive design). He co-created the Robust Optimization Made Easy (ROME) software. Recent publications analyze workplace psychological safety (2024), hospital-at-home models (2024), and platform leakage dynamics (2023). His work spans 18+ journals with 740+ citations for burnout cost studies (2022) and 606+ citations for physician well-being research (2017). Teaching Honors : 2023: Best MBA Teaching & Skinner Innovation Award 2021: NUS Annual Teaching Excellence Award 2020: Early Career Research Excellence Award & 40 Under 40 Best MBA Professors Advising & Grants : Served as PhD Program Director. Received NUS Start-Up Grant R-314-000-110-133 (2021) and Humanities & Social Sciences Fellowship (2021). Editorial roles include Associate Editor at Management Science , Manufacturing & Service Operations Management , and Senior Editor at Production and Operations Management .

• Hydrogeology
• Groundwater flow and transport modelling
• Contaminant hydrogeology
• +۵ مورد دیگر

Thomas Rüde is Universitätsprofessor for Hydrogeology at RWTH Aachen University , Germany, where he leads the Hydrogeology group within the Faculty of Georesources and Materials Engineering. Holding the chair since 2005, he also serves as Managing Director of the Vereinigung Aachener Geowissenschaftler e.V. and has previously been Vice-President (2008-2014) and Executive Council member (2000-2008) of the International Mine Water Association (IMWA). Education 2004 – Privatdozent (Dr. rer. nat. habil.), University of Munich 1995 – Dr. rer. nat., University of Karlsruhe 1991 – Diplom-Geologe, University of Karlsruhe Research focus Professor Rüde’s work centres on understanding and modelling flow and reactive transport in complex aquifer systems . Key themes include: Contaminant hydrogeology – behaviour of geogenic arsenic and uranium in groundwater Groundwater protection and remediation – risk assessment and mitigation strategies Mine-water management – acid mine drainage, dewatering-well clogging, post-mining landscapes Tracer and hydraulic testing – field experiments to quantify subsurface heterogeneity Numerical modelling – high-performance simulation of multi-aquifer systems and karst His research spans Europe (Germany, Austria, Netherlands), Latin America (Mexico, Indonesia) and South-East Asia, frequently in close collaboration with local universities and industry partners. Publication trends Since 2010, Rüde has published extensively on geogenic contamination (As, U, F) in sedimentary and volcanic aquifers, mine-water impacts , and karst hydraulics . Recent work (2022-24) highlights advanced environmental tracers (gadolinium), transboundary groundwater issues, and the sustainable management of post-mining landscapes under climate change. Numerical models range from site-scale dewatering optimisation to catchment-scale coupled flow-transport simulations. Scientific awards & recognition Best Teaching Award 2010 – RWTH Aachen University Best Teaching Award 2012 – RWTH Aachen University Best Teaching Award 2014 – RWTH Aachen University Supervision & academic service Since 1998 he has taught hydrogeology through lectures, seminars, laboratory and field courses, and computer-based modelling labs. To date he has supervised: 13 PhD candidates 34 Diploma students 57 MSc students 63 BSc students He is Chairman of the Study Commission for the BSc programme in Georesources Management at RWTH Aachen, ensuring curriculum development and quality assurance. Laboratory & field infrastructure His group operates modern hydrochemical laboratories for trace-element analyses and maintains field stations for tracer experiments in Germany, Mexico and Indonesia. High-performance computing resources (in collaboration with the Jülich Supercomputing Centre) enable large-scale groundwater modelling and Monte-Carlo uncertainty assessments.

• Online Algorithms
• Learning-Augmented Algorithms
• Theoretical Analysis of Algorithms
• +۷ مورد دیگر

Christian Coester is an Associate Professor of Computer Science at the University of Oxford and a Tutorial Fellow at St Anne's College. His research focuses on theoretical computer science, particularly in the design and analysis of algorithms for problems involving uncertainty and incomplete information. His primary research areas include: Online algorithms, with groundbreaking work on the k-server problem (including refuting the randomized k-server conjecture, which earned the STOC 2023 Best Paper Award) Learning-augmented algorithms (algorithms with predictions) that leverage machine learning predictions while maintaining robustness guarantees Fundamental problems such as the k-taxi problem, metrical task systems, and online shortest paths Coester's theoretical work aims to develop algorithms with provable performance guarantees, particularly focusing on competitive ratios that measure worst-case performance against optimal offline solutions. His research often addresses problems that are 'simple to state and hard to solve,' leading to techniques with broad applicability across theoretical computer science. His publications span top venues including STOC, FOCS, SODA, and ICML, showing consistent contributions to both classical online algorithms and the emerging field of learning-augmented algorithms. The publications reveal a strong focus on metric spaces, competitive analysis, and the integration of prediction models into traditional algorithmic frameworks. Coester has received significant recognition including the STOC 2023 Best Paper Award and a substantial ERC Starting Grant (EUR 1.5M) for 'Challenges in Competitive Online Optimisation' (2025-2029). He actively supervises PhD students and welcomes inquiries from mathematically skilled candidates interested in theoretical computer science.

• Multi-criteria decision analysis
• Operations research
• Fuzzy sets and fuzzy numbers
• +۷ مورد دیگر

Matteo Brunelli is Associate Professor of “Mathematical Methods of Economics and Actuarial and Financial Sciences” at the University of Trento , Department of Industrial Engineering, and Adjunct Professor (docent) at Lappeenranta University of Technology , Finland. He is nationally habilitated as Full Professor in Italy and has held long-term visiting positions at Berkeley, Turku, Auckland, JAIST and Binghamton. Education: Ph.D. (Doctor of Science) in Information Technologies, Åbo Akademi University, Finland, 2011 – graded Eximia cum laude approbatur M.Sc. in Economics, University of Trento, 2007 – grade 110/110 cum laude B.Sc. in Economics, University of Trento, 2005 Research focus: Brunelli’s work sits at the intersection of multi-criteria decision analysis , operations research and computational optimisation . He develops axiomatic foundations and algorithms for pairwise comparison matrices , consistency indices , the best-worst method and fuzzy preference relations , and applies them to energy planning, sustainable inventory, maintenance scheduling, 3-D printer selection, and blockchain governance. His 2023-2025 articles reveal intensified interest in uncertainty modelling (Dempster-Shafer theory), bi-objective optimisation of inventory and maintenance, and group decision protocols that integrate probabilistic or active-learning components, demonstrating both methodological depth and practical relevance. Scientific awards & grants: Academy of Finland Postdoctoral Researcher grant (€254 670, 2014-2017) Claudio Dematté Research Grant (€19 000, 2008) Teacher of the Year Award, Aalto University (2013 – both Spring & Autumn semesters) Bernard Roy Award 2021 for outstanding contribution to Multiple Criteria Decision Aiding (under-40 category) Supervision & funding: While specific doctoral students are not listed, Brunelli currently supervises graduate theses at Trento and has continuously held competitive national grants. His Academy of Finland project “Consistency of valued preference relations for decision analytics methods” financed three years of full-time research and international collaboration. Editorial & community roles: He serves on the editorial boards of International Journal of General Systems and Mathematical and Computational Applications , and acts as area editor for Journal of Multi-Criteria Decision Analysis , positioning him among the key gatekeepers of the MCDA community.

• Mathematical Finance
• Probability Theory
• Stochastic Analysis
• +۵ مورد دیگر

Sigrid Källblad Nordin is an Associate Professor at KTH Royal Institute of Technology, affiliated with the Department of Mathematics (Division of Probability, Mathematical Physics, and Statistics). Her research focuses on Mathematical Finance, Probability Theory, and Stochastic Analysis, with an emphasis on measure-valued processes, martingale optimal transport, and model uncertainty. She holds a DPhil from the University of Oxford (2014). Her work bridges theoretical advancements in stochastic control, optimization, and financial applications. Recent research includes Bayesian optimal adaptive control, robust option pricing, and dynamically consistent investment strategies under uncertainty. She teaches courses such as Financial Mathematics and Financial Derivatives, and supervises PhD students Linn Engström and Chaorui Wang. Publications span journals like Annals of Applied Probability , Finance and Stochastics , and SIAM Journal on Control and Optimization , reflecting contributions to optimal transport, stochastic processes, and financial modeling. She is currently hiring a new PhD student and welcomes inquiries about master thesis supervision.

Christine Currieمشاهده پروفایل

استاد

• Operational Research
• Simulation Optimisation
• Healthcare Management
• +۹ مورد دیگر

Professor Christine Currie is a Professor of Operational Research within the School of Mathematical Sciences at the University of Southampton. She is a Fellow of the Alan Turing Institute and previously served as Director of the Centre for Operational Research, Management Science and Information Systems (CORMSIS). Her research is primarily funded by EPSRC and spans healthcare, disaster relief, and pricing optimisation. Research Interests: Simulation Optimisation Healthcare Management Decision Making Under Uncertainty Disaster Relief Logistics Optimal Pricing and Revenue Management Her recent work focuses on real-time simulation for emergency departments, infectious disease modelling, patient flow optimisation, food relief procurement in Indonesia, and robust pricing models in transportation and leisure sectors. The trend in her publications shows a strong emphasis on applied operational research with societal impact, particularly in digital twin integration and stochastic optimisation under uncertainty. Scientific Awards: Companion of Operational Research (2024) Professor Currie actively supervises PhD students and has secured multiple research grants, primarily from EPSRC. She has led projects such as 'Dial-a-Ride', 'CREST-OR', and 'Designing a resilient food supply network for natural disasters in West Java, Indonesia'. She also collaborates with external organisations and has supervised student projects with industry partners. Leadership and Editorial Roles: Editor-in-Chief, Journal of Simulation (2015–2024) Member, Editorial Board, Royal Society Open Science (2021–present) Co-chair, OR63 National Operational Research Conference (2021) Member, Operational Research Society Research Panel She is actively involved in the operational research community and leads interdisciplinary research teams including the Operational Research group, Institute for Life Sciences, CORMSIS, and the Centre for Healthcare Analytics.

• Climate and Energy Finance
• Corporate Risk Management
• International Economics/Finance
• +۳ مورد دیگر

Dr. Bernard Njindan Iyke is a Lecturer in Finance at La Trobe University, specializing in climate and energy finance, corporate risk management, and international economics/finance. He holds an ORCID identifier (0000-0002-9217-1856) and has extensive experience as a consultant for central banks and international organizations. His recent research includes leading the Australian Government-funded 'Quantum Enhanced Optimisation for Energy Efficient Data Centres' project. He actively supervises postgraduate research students focusing on Sustainable Development Goals 13 (Climate Action) and 7 (Affordable and Clean Energy). Dr. Iyke's research interests span climate finance, energy security, geopolitical risk analysis, and macroeconomic policy interactions. His work frequently explores emerging markets, particularly in Asia and Africa, with notable contributions on financial stability, currency dynamics, and pandemic economic impacts. He has presented at institutions like the University of Oxford and the Asian Development Bank Institute. His recent publications analyze topics such as financial cycle synchronization in emerging economies, energy investment under climate risks, and the interplay between monetary policy and asset prices in ASEAN countries. While no explicit awards are listed, his high citation counts (e.g., over 90 citations for his 2024 energy security paper) reflect significant academic impact. He teaches courses on commercial lending and bank strategy, integrating real-world financial technology and regulatory challenges. Dr. Iyke has secured government grants totaling millions AUD, notably the 2024 Quantum Optimisation project. He advises on policy matters related to energy transition and financial resilience, maintaining active collaboration with central banks and multilateral institutions. His research agenda emphasizes bridging theoretical economics with practical policy solutions for sustainable development.

Evangelos Boulougourisمشاهده پروفایل

استاد

• Naval Architecture
• Marine Engineering
• Ocean Engineering
• +۱۹ مورد دیگر

Professor Evangelos Boulougouris is Head of the Department of Naval Architecture, Ocean and Marine Engineering at the University of Strathclyde, where he also serves as Chair of the Maritime Safety Research Centre. He is a chartered professional engineer with over 28 years of internationally recognized research in maritime safety, design for safety, and holistic ship design. His work spans damage stability, autonomous vessels, alternative fuels, and ship survivability, with strong impact on international regulations through roles in IMO, ITTC, SNAME, and RINA. Research Interests: His primary research focuses on safety of marine operations, including damage and intact stability in waves, collision avoidance, ship evacuation, crashworthiness, and the integration of alternative fuels like ammonia and hydrogen. He leads cutting-edge work in multi-objective ship design optimization, risk modeling, and decarbonization strategies for advanced marine vehicles. The recent 15 publications highlight a strong trend toward digitalization and sustainability in shipping, combining machine learning for propeller optimization, CFD simulations for catamaran performance, real-time decision support in emergencies, and hybrid propulsion systems for zero-emission vessels. His work increasingly emphasizes climate resilience, port risk under extreme weather, and energy management in CTVs, aligning with global SDGs. Scientific Awards: 2020 Denny Medal SNAME ABS Captain Joseph H. Linnard Prize (2023) Safety 2020 Best Paper Award (2022) Honorable Mention for Vice Admiral E. L. Cochrane Award (2022) EU CHAMPIONS of Transport Research (HOLISHIP, TRA 2014) Greek Technical Innovation Award, Lloyd’s List (2009) 1st Prize, International SAFER SHIP Competition (1999) Advising and Grants: He actively supervises PhD students and has led numerous EU and UK-funded projects such as SEASTARS, SAFARI, EcoShipYard, and Digital Shipwright. As Principal Investigator and Co-I, he secures substantial research funding, coordinates knowledge exchange (KE) initiatives, and leads training programs across Europe. Labs and Teams: He leads the Maritime Safety Research Centre at Strathclyde, fostering interdisciplinary collaboration on ship safety, stability, and sustainable design. His team works closely with industry partners RCG and DNV, and engages in international networks through STAB, ITTC, and IMO committees.

Sonja Wogrinمشاهده پروفایل

استاد

• Optimization
• Bilevel Programming
• Capacity Expansion Planning
• +۵ مورد دیگر

Sonja Wogrin is a University Professor (Univ.-Prof.) at Graz University of Technology (TU Graz), where she has been heading the Institute for Electricity Economics and Energy Innovation since August 2021. She holds a Dipl.-Ing. in Technical Mathematics from TU Graz (2008), a Master of Science in Computation for Design and Optimization from MIT (2008), and a doctorate in Electricity Systems from Universidad Pontificia Comillas (2013). Her educational background includes: Doctorate in Electricity Systems, Universidad Pontificia de Comillas (June 2013) Dipl.-Ing. in Technical Mathematics, Graz University of Technology (October 2008) Master of Science in Computation for Design and Optimization, MIT (June 2008) Professor Wogrin's research focuses on decision support systems in the energy sector, optimization methodologies, and particularly the problem of generation capacity expansion. Her work spans several key areas including bilevel programming, capacity expansion planning, energy storage systems, and time series aggregation for energy system optimization. She has made significant contributions to understanding how to integrate renewable energy sources into power systems while maintaining economic efficiency and grid stability. Her research often addresses the challenges of decarbonizing electricity systems through advanced mathematical modeling and optimization techniques. Her recent publications demonstrate a strong focus on improving the computational efficiency of energy system models while maintaining accuracy, with particular attention to the integration of renewable energy sources, energy storage systems, and the development of resilient energy communities. She has pioneered work on time series aggregation methods that balance computational tractability with model accuracy, which is crucial for long-term energy planning under uncertainty. Professor Wogrin has received several prestigious awards and fellowships including: 4th EASE Student Award for "Co-Optimisation of energy storage technologies in tactical and strategic planning models" (2019) Beca de movilidad para investigadores "NILS Ciencia y Sostenibilidad" (2015) Beca Erasmus "Personal Docente/Investigador" de formación (2016) Beca Iberdrola de ayuda a la investigación en energía y medio ambiente (2020) She leads multiple significant research projects including EU - NetZero-Opt, RINGs, iKlimET, V2G-QUESTS, and CIDEAL, which focus on optimizing energy systems for net-zero emissions, resilient energy networks, climate and energy system modeling, vehicle-to-grid integration, and industrial decarbonization. Her work has substantial practical implications for energy policy and grid operations in Austria and beyond. Professor Wogrin collaborates extensively with industry partners including Austrian Power Grid AG, KELAG, and Netz Niederösterreich, ensuring her research addresses real-world energy challenges. Professor Wogrin leads the research group at the Institute for Electricity Economics and Energy Innovation, which develops advanced optimization models for energy systems. Her team has created the LEGO (Low-carbon Expansion Generation Optimization) model, an open-source tool for energy system optimization that has gained international recognition. The group's work spans from fundamental optimization methods to practical applications in energy system planning and operation, with a strong emphasis on computational efficiency and model accuracy.

Morteza Haghighat Sefatمشاهده پروفایل

دانشیار

• Well Decommissioning
• Advanced Well Completion Technology
• Intelligent Well Design and Optimisation
• +۴ مورد دیگر

Morteza Haghighat Sefat is an Associate Professor at the School of Energy, Geoscience, Infrastructure and Society and the Institute for GeoEnergy Engineering at Heriot-Watt University. His research focuses on well decommissioning, advanced well completion technologies, intelligent well design, and integrated asset modeling with a particular emphasis on CO2 storage integrity and optimization under uncertainty. He teaches Drilling Engineering and Integrated Asset Modelling. His research outputs span topics such as risk-based well integrity assessment for CO2 storage, flow control device optimization in multilateral wells, and methane emissions from decommissioned petroleum wells in British Columbia. He employs hybrid optimization techniques, machine learning, and numerical simulation to address challenges in reservoir management and environmental impact assessment. Key collaborations involve institutions exploring CO2 storage applications and advanced well technologies. His work bridges theoretical models with practical field applications, emphasizing proactive optimization and sustainability in energy systems.

• Environmental Modelling
• Sustainable Water Management
• Spatial Analysis (GIS)
• +۵ مورد دیگر

Tara Zirakbash serves as a Lecturer at Murdoch University's School of Engineering and Energy, leveraging extensive cross-sector experience from consulting, government, and academia in hydrological analysis, urban water management, and GIS applications for sustainable engineering solutions. Her work directly addresses critical global challenges including water scarcity, climate change impacts, and water safety through interdisciplinary approaches. Her academic credentials include: Doctor of Philosophy in Environmental Engineering from Murdoch University, Western Australia Research focuses on environmental modelling optimisation, sustainable water systems, spatial/time series analysis, and uncertainty-informed planning. She champions systems thinking integrated with practical field applications and multi-stakeholder collaboration to develop innovative solutions for complex environmental challenges, emphasizing real-world relevance in all scholarly work. Scientific Awards: No scientific awards documented in source materials Advising and grants information is not specified in available documentation, though her teaching methodology emphasizes workshop-based learning connecting theoretical concepts to practical implementation. Professional networks reflect strong industry-academia linkages developed through diverse sector engagements. Laboratory facilities and research team structures are not described in the provided institutional profile.

• Combinatorial Optimization
• Operations Research
• Stochastic Programming
• +۵ مورد دیگر

Hanyu Gu is a Senior Lecturer in the School of Mathematical and Physical Sciences at the University of Technology Sydney (UTS), part of the Faculty of Science. He holds a PhD in Power Engineering and Automation from Shanghai Jiao Tong University (1999) and has extensive industry experience in telecommunications, airline optimization, and mining. His research focuses on combinatorial optimization, decomposition methods, stochastic programming, and machine learning applications. Notable awards include second place in the 2020 ROADEF competition. He collaborates with institutions like the UTS Transportation Research Centre and has contributed to projects such as optimisation engines for airline management and underground mining algorithms. Current research explores hybrid algorithms, Bayesian optimisation, and scheduling under uncertainty. Education: Bachelor in Industrial Automation, Shanghai Jiao Tong University (1994) Master in Control Theory and Application, Shanghai Jiao Tong University (1997) PhD in Power Engineering and Automation, Shanghai Jiao Tong University (1999) Industry Experience: ZTE (1999–2001): Senior Wireless Communication Engineer CTI, Melbourne (2007–2011): Airline Management Optimisation Researcher NICTA (2011–2013): Underground Mining Optimisation Researcher Grants: ARC Linkage Project LP0883855 (2008–2012): Developed optimisation tools for transportation crewing, valued at $840,000. Research interests span decomposition methods for large-scale problems (e.g., airline scheduling), stochastic programming for resource sharing, and hybridisation of mathematical programming with constraint programming. Recent work includes Bayesian optimisation for knapsack problems and relax-and-solve algorithms for project scheduling. His articles frequently address optimisation in logistics, healthcare, and transportation, emphasizing practical industry applications and algorithmic innovation. Awards: Second place in the ROADEF 2020 competition for maintenance planning solutions. Advising & Grants: Supervises Masters and PhD students in operations research and optimisation. Collaborates with Ausgrid, UGL, and ANC on optimisation projects (e.g., employee training timetabling, logistics). Active in the Optimisation Group of UTS Transportation Research Centre, he bridges academic research with real-world challenges in scheduling, logistics, and resource management. Ongoing efforts include advancing metaheuristics and integrating machine learning with traditional optimisation techniques.

• Operational Research
• Healthcare Analytics
• Retail Analytics
• +۳ مورد دیگر

Siamak Naderi is an Assistant Professor of Operational Research and Analytics in the ISMA Group at Warwick Business School (WBS), joined since December 2020. His research focuses on Healthcare Analytics, Retail Analytics, and large-scale optimization methods for complex decision-making environments. He holds a PhD and Master's from Sabanci University and a Bachelor's from the University of Tehran. Education PhD and MSc in Industrial Engineering, Sabanci University, Istanbul BSc in Industrial Engineering, University of Tehran, Iran His research has been funded by EPSRC and published in top journals like International Journal of Production Economics and International Journal of Production Research. Current teaching includes Mathematical Programming, Business Analytics, Data Management, and Generative AI applications across undergraduate, master's, and doctoral programs. Research Trends : Recent work emphasizes supply chain optimization in fast-fashion retail, healthcare system modeling under budget constraints, and heuristic solutions for operational efficiency. His articles blend theoretical optimization with real-world applications in retail and healthcare sectors. Teaching & Mentoring : Actively mentors students across BSc, MSc, and PhD programs in analytics and operational research. Teaches advanced modules like Pricing Analytics, Optimisation Models, and AI applications. Labs & Collaborations : Part of the ISMA Group at WBS, focusing on data-driven analytics for business and healthcare sectors. Collaborates on EPSRC-funded healthcare analytics projects.

Cormac Lucasمشاهده پروفایل

مدرس ارشد

• Mathematical Optimisation
• Stochastic Optimisation
• Asset and Liability Management (ALM)
• +۵ مورد دیگر

Dr. Cormac Lucas is a Senior Lecturer in the Department of Mathematics at Brunel University London, affiliated with the College of Engineering, Design and Physical Sciences. His work bridges mathematical optimization with practical applications in finance and operations management. Lucas specializes in Mathematical Optimisation Stochastic Optimisation Asset and Liability Management (ALM) Risk Analytics Portfolio Optimization Supply Chain Planning Under Uncertainty His research combines theoretical advancements with industrial projects, such as US Coast Guard Cutter Scheduling, Insight Investment's ALM, and Unilever's Natural Oil Buying Policy. Recent publications (2013–2024) highlight his focus on Portfolio Rebalancing with Transaction Costs Scenario Generation for Stochastic Programming Heuristic Algorithms for Cardinality Constraints Queuing Systems with Standby Servers Robust Supply Chain Planning Financial Derivative Modeling These works utilize methods like Variable Neighbourhood Search, Differential Evolution, and Lagrangian Relaxation. Email: cormac.lucas@brunel.ac.uk

Sven Scheweمشاهده پروفایل

استاد

• Automata Theory
• Game Theory
• Formal Verification
• +۱۲ مورد دیگر

Sven Schewe is a Professor in the Department of Computer Science at the University of Liverpool, affiliated with the School of Electrical Engineering, Electronics and Computer Science. He leads the AI Section and is a founding member and former leader of the Verification Group. He also has secondary affiliations with the Algorithms, Complexity Theory and Optimisation Group and the Institute for Risk and Uncertainty. Research Interests: His research centers on automata theory and game theory, particularly their applications in the verification and synthesis of reactive and safety-critical systems. He investigates infinite-duration games, automata over infinite words and trees, and develops algorithms and tools for automated verification, synthesis, and learning of optimal control strategies. His work extends to reinforcement learning with formal guarantees, cyber-physical systems, and AI safety. Recent Research Trends: His recent publications demonstrate a strong integration of formal methods with machine learning, particularly in adversarial training, neural network robustness, and model-free reinforcement learning under omega-regular objectives. He also applies formal reasoning to interdisciplinary domains such as chemical space exploration and materials science. Scientific Awards: Finalist for the ERCIM Cor Baayen Award 2010 Dr. Eduard Martin Preis 2009 GI Dissertation Award 2008 Advising and Grants: He actively supervises numerous PhD students and postdoctoral researchers. He is Principal Investigator (PI) or Co-Investigator (CI) on multiple major grants, including EPSRC Programme Grants, Royal Society Fellowships, and Horizon Europe projects. His funded research spans topics such as game theory, verification, synthesis, reinforcement learning, and risk analysis. He has hosted visiting researchers and collaborated internationally with institutions in Germany, France, India, Taiwan, and the US. Labs and Teams: He co-founded and led the Verification Group and previously led the AI Section at the University of Liverpool. These groups focus on formal methods, automata, games, and their applications in AI and safety-critical systems.