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

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.

• Discrete Optimisation
• Scheduling Theory
• Operations Research
• +۷ مورد دیگر

Frank Werner is apl. Professor (Adjunct Professor) of Mathematical Optimisation at the Otto von Guericke University Magdeburg, Faculty of Mathematics, Institute for Mathematical Optimization. Since 1989 he has been a permanent member of this institute, leading DFG- and EU-funded projects, supervising international doctoral students and post-doctoral researchers, and serving on the editorial boards of more than a dozen journals. Education 1961–1973: Nordpark-Oberschule, Clara-Zetkin-Oberschule, EOS Geschwister Scholl, Magdeburg (Abitur ‘Ausgezeichnet’) 1975–1980: Diploma in Mathematics, Technische Hochschule Magdeburg (Dipl.-Math., grade ‘Ausgezeichnet’) 1980–1983: Doctoral studies, TH Magdeburg (Dr. rer. nat., Summa cum laude) 1987–1989: Habilitation, TH Magdeburg (Dr. rer. nat. habil.) Research Interests Werner’s work lies at the intersection of applied mathematics, operations research and computer science. He designs exact and heuristic algorithms for NP-hard scheduling and sequencing problems, analyses the stability of solutions under interval data uncertainty, and applies these techniques to real-world domains such as machine scheduling, vehicle routing, train timetabling, supply-chain coordination, and healthcare logistics. Recent activities extend to the use of machine-learning techniques to enhance optimisation algorithms. Scientific Awards & Honours Best Paper Award, International Journal of Production Research Best Paper Award, IISE Transactions NOC Prize 2009, INCOM Symposium Moscow, for work on hierarchical mobile-robot scheduling Supervision, Grants & Service Since 1992 Werner has coordinated numerous DFG and EU projects and acted as principal investigator for international collaborations involving Belarus, Russia, Poland, the USA, Mexico, Iran, Nepal, China and Finland. He has mentored Alexander von Humboldt fellows and long-term visiting scholars, and currently serves as Editor-in-Chief of the MDPI journal Algorithms , Associate Editor for Journal of Scheduling and International Journal of Production Research , and on the editorial or advisory boards of more than ten further journals. Laboratory & Teams He heads the Scheduling & Discrete Optimisation group within the Institute for Mathematical Optimization, maintaining active partnerships with Tribhuvan University (Nepal), Autonomous University of Baja California (Mexico), Belarusian State University, École des Mines de Saint-Étienne (France), University of Alabama in Huntsville (USA), and many others.