Find Academic Supervisors

François BaccelliView profile

Visiting Professor

• Applied Probability
• Stochastic Geometry
• Wireless Networks
• +4 more

François Baccelli is a Research Director at INRIA Paris and Visiting Professor at Télécom Paris, leading the ERC Advanced Grant NEMO project on network mathematics. He holds a Doctor Honoris Causa from Heriot-Watt University and is a Member of the French Academy of Sciences. His career spans key roles including head of the Simons Center on Communication, Information and Network Mathematics (2012–2019), and faculty positions at École Polytechnique (1991–2003) and the University of Texas at Austin (2012–2021) as Simons Math+ECE Chair. Education: PhD in Applied Mathematics from Université Paris-Sud (1983), advised by Erol Gelenbe. Graduate of Télécom Paris (1977). Research Interests: Baccelli’s work bridges applied probability, stochastic geometry, and network dynamics with applications to telecommunications. He pioneered spatial stochastic networks, stochastic geometry modeling of wireless systems, and max-plus algebra for discrete-event systems. His contributions include foundational theories on queuing networks, Palm probabilities, and latency-constrained system design. Awards & Recognition: 2024 Blackwell Prize (INFORMS Applied Probability Society). 2014 ACM Sigmetrics Achievement Award. 2014 IEEE Stephen O. Rice and Leonard G. Abraham Prizes. Collaborations: Co-founder of the LINCS joint laboratory (INRIA/IMT/Nokia Bell Labs/Sorbonne/SystemX), fostering interdisciplinary research in communications and networks. Supervised numerous graduate students who now lead academic and industrial research globally. Labs & Teams: LINCS laboratory and ERC NEMO project, focused on network mathematics and large-scale system dynamics.

• Model-Based Design
• Design Automation
• Optimization
• +4 more

Marc C.W. Geilen is an Associate Professor at the Electronic Systems group , Eindhoven University of Technology. He leads the Model-Based Design Lab and contributes to the CompSOC Lab and High Tech Systems Center . His work focuses on model-based design methods, design automation, and optimization for real-time and embedded systems. Research Keywords: Cyber-Physical Systems, Real-Time Systems, Embedded Systems, Performance Analysis, Design Automation Key Collaborations: EU ECSEL TRANSACT project, SAM-FMS project, Arrowhead Tools initiative His recent publications address weakly-hard timing constraints in server-based systems, hybrid performance modeling for cyber-physical systems, and neural network optimization for communication. Article trends span Real-Time Scheduling , Trustworthy Modeling , Neural Network Efficiency , and Resource Allocation in distributed environments. Scientific Awards : Partial-Order Reduction for Performance Analysis (2018) Teaching activities include courses in Computational Modeling , Embedded Signal Processing , and Discrete Mathematics . He collaborates across projects like TRANSACT, SAM-FMS, and Arrowhead Tools, focusing on flexible manufacturing and cloud-to-edge transitions.

Sylvain LombardyView profile

Professor

• Automata Theory
• Formal Languages
• Theoretical Computer Science
• +3 more

Sylvain Lombardy is a Professor at the University of Bordeaux, affiliated with the Laboratoire Bordelais de Recherche en Informatique (LaBRI) and the Enseirb-Matmeca engineering school within the Institut Polytechnique de Bordeaux. His research focuses on automata theory, formal languages, and theoretical computer science, particularly in weighted automata, formal methods, and algebraic properties of automata. He leads the Formal Methods research team at LaBRI and contributes to projects like the Awali and Vaucanson software platforms for automata manipulation. Education: PhD in Computer Science (2001, ENST Paris), Habilitation à Diriger des Recherches (2005, University of Paris Diderot). His work bridges theoretical foundations with practical tools, emphasizing algorithmic and algebraic aspects of automata. Notable contributions include studies on automata minimization, determinization, and the interplay between rational expressions and automata constructions. Research Interests: Automata Theory, Formal Power Series, Weighted Automata, Tropical Semirings, Algebraic Automata Theory, and Computational Models for Discrete Systems. His recent work explores two-way automata, Hadamard series, and applications in formal verification. Publications highlight contributions to the structure and properties of automata, with a focus on formal methods and algorithmic decidability. Key works address unambiguity, determinism, and the minimization of weighted automata across various semirings. Collaborations include projects on automata-based kernels for machine learning and XML formats for automata descriptions. He has developed influential software tools such as Awali (finite-state machine platform) and Vaucanson (automata manipulation framework), demonstrating practical applications of theoretical research. His work is supported by grants exploring automata in computational linguistics and discrete mathematics.

Rob GoverdeView profile

Professor

• Railway Traffic Management
• Operations Research
• Transportation Systems Optimization
• +4 more

Prof. Rob Goverde is a Professor of Railway Traffic Management & Operations at the Department of Transport & Planning, TU Delft, and Director of the Digital Rail Traffic Lab. He holds a PhD in Railway Operations (2005) from TU Delft and an MSc in Mathematics from Utrecht University (1993). His research focuses on resilient railway timetabling, disruption management, energy-efficient train control, and railway safety. He teaches MSc courses like 'Railway Operations and Control' and coordinates the MSc Annotation Railway Systems and a collaborative BSc program with Beijing Jiaotong University. Research interests include railway operations optimization using operations research, max-plus algebra, and data analytics. Projects funded by Shift2Rail, NSFC, and NWO address topics like high-speed rail network capacity and resilient railway systems. He leads the Railway Systems theme at TU Delft Transport Institute and serves as Editor-in-Chief of the Journal of Rail Transport Planning & Management. His work bridges mathematical methodologies with railway domain knowledge to enhance system performance and sustainability.

Twan BastenView profile

Professor

• Embedded Systems
• Cyber-Physical Systems
• Model-Driven Engineering
• +3 more

Twan Basten is a Full Professor in the Electronic Systems group at Eindhoven University of Technology (TU/e). He leads research on embedded and cyber-physical systems, focusing on model-driven design, computational models, and system dependability. He holds an MSc (1993) and PhD (1998) in Computing Science from TU/e, advancing from Assistant to Full Professor by 2009, and became the Electronic Systems group chair in 2013. His research spans international projects (FP5-7, H2020, ECSEL) and Dutch initiatives (STW, NWO, RVO), with over 200 publications and seven best paper awards. He has co-supervised 21 PhD students and actively participates in program committees and conferences. His work contributes to UN Sustainable Development Goals through innovations in smart systems. Education: MSc in Computing Science, TU/e (1993) PhD in Computing Science, TU/e (1998) Research Interests: Explores design methodologies for embedded systems, including scenario-based design, real-time scheduling, and performance analysis. Specializes in model-driven engineering and computational models to ensure system dependability. Active in projects like TRANSACT (real-time systems) and SAM-FMS (flexible manufacturing). Key Contributions: Co-author of 1 book and over 200 scientific publications Recipient of seven best paper awards Co-supervised 21 PhD degrees Senior member of IEEE and lifetime member of ACM Labs & Teams: Leads the Model-Based Design Lab and contributes to EAISI High Tech Systems initiatives. Collaborates on tools like TRACE4CPS for execution trace analysis and CReTS for vehicle platooning simulation.

Jorg LiebeherrView profile

Professor

• Computer Networks
• Network Calculus
• Internet of Things (IoT)
• +6 more

Jorg Liebeherr is a Professor in the Department of Electrical and Computer Engineering at the University of Toronto, holding the Nortel Chair of Network Architecture and Services. His research focuses on computer networks , particularly network calculus , self-organizing networks , protocol design , and traffic scheduling . Education: Diplom-Informatiker (with distinction), University of Erlangen (Germany), 1988 PhD, Computer Science, Georgia Institute of Technology, 1991 His recent work includes low-cost LoRa mesh networks for environmental sensing and mathematical frameworks for traffic control in 5G and IoT systems. Publications span journals like IEEE Internet of Things Journal and conferences such as IEEE Infocom and ACM Sigmetrics . Scientific Awards: IEEE Fellow (2008) Outstanding Service Award, IEEE ComSoc TC on Computer Communications (2006) ACM Sigmetrics Best Student Paper Award (2005) NSF CAREER Award (1996) Advising and Grants: Supervised 15+ theses (MASc/PhD) and secured grants from NSF, Virginia Engineering Foundation, and industry partners. Labs: Leads the Network Research Lab and HyperCast projects, an open-source platform for application-layer internetworking.

Jean-Yves Le BoudecView profile

Professor

• Network Calculus
• Time-Sensitive Networking
• Deterministic Networking
• +7 more

Jean-Yves Le Boudec is a Professor at École Polytechnique Fédérale de Lausanne (EPFL), affiliated with the School of Computer and Communication Sciences and the Institute of Electrical Engineering. He has been a key figure in advancing the theory and application of network calculus and deterministic networking, contributing significantly to standards such as IEEE Time-Sensitive Networking (TSN) and IETF DetNet. His research focuses on network calculus , time-sensitive and deterministic networking , traffic regulation , worst-case delay analysis , and cyber-physical systems , with cross-cutting applications in smart grids , real-time communication , and network security . He has co-authored foundational texts on network calculus and developed theoretical frameworks for traffic regulators, service curves, and delay bounds in complex networked systems. The recent publications highlight a strong trend in analyzing and improving performance guarantees in deterministic networks, including scheduling mechanisms like Deficit Round-Robin and Cyclic Queuing and Forwarding, traffic shaping via interleaved regulators, and security against time-synchronization attacks in power systems. The work spans theoretical modeling using stochastic and min-plus/max-plus algebra, practical algorithm design, and application to critical infrastructure. IEEE Fellow Le Boudec has advised numerous researchers and PhD students, including Ehsan Mohammadpour, Ludovic Thomas, and Seyed Mohammadhossein Tabatabaee. His collaborative projects often involve grants related to European and Swiss research initiatives in networking and smart grid technologies. He leads a research group focused on networked systems at EPFL, contributing to both theoretical advances and real-world implementations in industrial and energy-critical networks. His lab work centers on modeling and verification of time-sensitive network behaviors, integrating formal methods with practical experimentation. The team investigates regulators, shapers, and synchronization mechanisms, aiming to ensure robustness, predictability, and security in next-generation communication infrastructures. Future work continues to explore the interplay between communication, control, and energy systems in highly reliable environments.

• Tropical Algebra
• Optimization
• Operations Research
• +5 more

Stéphane Gaubert is a Senior Research Scientist at INRIA Saclay and a part-time Professor in the Department of Applied Mathematics at École Polytechnique. He heads the Tropical research team, a joint initiative between INRIA and the Centre de Mathématiques Appliquées (CMAP), and co-directs the Master 2 (Research) in Optimization program at University Paris Saclay and Institut Polytechnique de Paris. His research spans tropical algebra (max-plus algebra) , optimization , operations research , and game theory , with applications in discrete event systems, control theory, and Hamilton-Jacobi equations. He develops computational methods like max-plus finite element techniques for deterministic optimal control problems. He has supervised over 30 PhD students across institutions including École Polytechnique, École des Mines, and Université Paris-Saclay. Several advisees received distinctions, such as Pascal Benchimol (Ecole Polytechnique PhD Prize) and Paulin Jacquot (Paul Caseau/AMIES prizes). He coordinates the Gaspard Monge Programme for Optimization and leads the ANR project XHilbertField, following prior projects Democrite and MALTHY.

• Mathematical Physics
• Condensed Matter Physics
• Dynamical Systems
• +2 more

Yoshihiro Yamazaki is a Professor at the Faculty of Science and Engineering, School of Advanced Science and Engineering at Waseda University. He has been affiliated with Waseda University since 2003, progressing through various academic positions. His research spans mathematical physics, condensed matter theory, dynamical systems, and applications to sports analytics, particularly in football (soccer) analysis. Dr. Yamazaki earned his Doctor of Science degree from Kyoto University in March 1999. His educational background includes: Graduate School of Science, Department of Physics and Astrophysics, Kyoto University (1996-1999) Graduate School of Science, Department of Physics I, Kyoto University (1994-1996) Faculty of Engineering, Kyoto University (1990-1994) Yamazaki's research primarily focuses on mathematical physics and fundamental theory of condensed matter physics. His work explores dynamical systems, particularly ultradiscrete and max-plus systems, bifurcation theory, and pattern formation. More recently, he has applied mathematical and statistical physics approaches to sports analytics, developing novel methods for football game analysis including space evaluation, formation clustering, and ball possession dynamics. His interdisciplinary research bridges theoretical physics with practical applications in sports science. Analysis of Yamazaki's recent publications reveals a consistent focus on dynamical systems theory with applications spanning from fundamental mathematical physics to sports analytics. His work on ultradiscrete systems, max-plus algebra, and bifurcation theory demonstrates deep theoretical contributions, while his football analytics research shows practical application of complex systems theory. The interdisciplinary nature of his work connects mathematical physics with real-world phenomena across diverse domains. Dr. Yamazaki has received notable recognition for his work, including: 45th Society Award (2023) from Japan Adhesion Society While specific information about his advisees isn't provided in the available data, Dr. Yamazaki has been actively involved in research projects that likely involve mentoring students. His extensive publication record spanning over two decades suggests significant contributions to academic training. His research has been supported by various grants, as evidenced by his numerous publications in high-impact journals across physics, mathematics, and interdisciplinary fields. Yamazaki's research group appears to focus on interdisciplinary applications of mathematical physics, with particular emphasis on complex systems analysis. His recent work on football analytics suggests collaboration with sports scientists and data analysts, creating a multidisciplinary research environment that bridges theoretical physics with practical applications in sports science.

Anthony TzesView profile

Professor

• Control Applications
• Robotics
• Unmanned Aerial Vehicles (UAVs)
• +3 more

Anthony Tzes is a Professor of Electrical and Computer Engineering at NYU Tandon School of Engineering and holds the Alan Howard Distinguished Professorship in Artificial Intelligence at NYU Abu Dhabi. He is also a Global Network Professor affiliated with NYU’s engineering programs. His expertise spans control systems, robotics, and mechatronics, with a focus on UAVs, surgical robotics, and cyber-physical systems. Education: PhD in Electrical Engineering from Ohio State University (1990), BEng from University of Patras, Greece (1985). Active roles include Program Head of Electrical Engineering at NYUAD, and leadership in IEEE Control Systems Society and EU-funded projects. Research highlights include pioneering work on autonomous systems, including UAV-based firefighting, surgical robotic tools, and smart sensor networks. He leads the Applied Networked Mechatronics Systems group in Greece and directed the Urban Intelligent Transportation Systems Center in New York. His work is supported by NASA, NSF, ESA, and EU Horizon2020 grants. Awarded over 80 journal/conference publications, including a Best Paper Award (IET Control, 2014) and the ECC 2003 IST Prize. His teaching spans courses like Control Systems Engineering, Robotics, and Embedded Systems. He oversees senior design projects and mentors students in engineering research and innovation. Labs/Teams: Instrumentation and Control Laboratory (NYU Tandon), Applied Networked Mechatronics Systems group (Greece), and collaborations across academia and industry in robotics and automation.

David ScaradozziView profile

Researcher

• Robotics
• Control Systems
• Underwater Robotics
• +4 more

David Scaradozzi is a Researcher at the Department of Information Engineering within Università Politecnica delle Marche (UNIVPM). His work spans robotics, control systems, and AI applications in both environmental monitoring and education. Based in Ancona, Italy, he contributes to underwater robotics, bioinspired design, and STEM education initiatives. Research Focus: Underwater robotics, dolphin vocalization recognition, AI-integrated control systems Projects: ARROWS (underwater archaeology), ROBOAQUARIA (environmental awareness), NGC systems for biomimetic robots His academic contributions leverage max-plus algebra for task coordination and machine learning for real-time acoustic analysis. Scaradozzi actively develops educational robotics curricula for primary schools, emphasizing gender equality and technological accessibility. Recent publications highlight his dual focus: advancing bioinspired robotic platforms and optimizing AI-driven educational tools . His work bridges theoretical control systems with practical applications in marine monitoring and pedagogy.

• Automata Theory
• Formal Languages
• Weighted Automata
• +3 more

Erik Paul is a faculty member at Universität Leipzig's Faculty of Mathematics and Computer Science, affiliated with the Institute of Computer Science and the Automaten und Sprachen (Automata and Languages) research group. His primary academic rank is Lecturer, where he teaches courses such as Automata Theory, Logic and Model Theory, and Semantics of Programming Languages. Paul's research focuses on theoretical computer science with specialization in Automata Theory, Formal Languages, and Weighted Automata. His work explores decidability problems, tree automata, and logical characterizations of computational models, with significant contributions to the understanding of sequentiality and ambiguity in max-plus automata. His publications demonstrate a consistent focus on automata theory and formal methods, with recent work addressing weighted HOM problems and sequentiality in finitely ambiguous systems. The research spans foundational theory, algorithmic decidability, and applications in formal verification. Scientific Awards: ICALP 2020 Best Student Paper Track B Paul actively contributes to academic service through seminar organization and thesis supervision within the Automata and Languages research group.

Michel A. ReniersView profile

Associate Professor

• Supervisory Control
• Cyber-Physical Systems
• Model-Based Engineering
• +5 more

Michel A. Reniers is an Associate Professor in the Department of Mechanical Engineering at Eindhoven University of Technology (TU/e), specializing in supervisory control and cyber-physical systems. His research focuses on model-based engineering of supervisory controllers, formal methods, and their applications in high-tech and manufacturing systems such as lithography, automotive, and robotics. He holds a MSc in Computer Science (1994) and PhD (1999) from TU/e. He is a senior member of IEEE, part of the IEEE CSS Technical Committee on Discrete Event Systems, and contributed to the European Research Agenda on Cyber-Physical Systems of Systems. He collaborates with industry partners like ASML and Rijkswaterstaat. Research interests include supervisory control synthesis, modal logics, discrete event systems, and system product lines. He emphasizes formal methods for safety and performance guarantees in embedded systems. His work spans theoretical frameworks and practical applications in manufacturing, autonomous systems, and networked systems. Awards include the Norbert Giambiasi Award (2022) and recognition for partial-order reduction in timed systems (2018). Academic activities include editorial roles in journals like Discrete Event Dynamic Systems and IEEE Open Journal of Control Systems . He teaches courses on supervisory control, production systems analysis, and cyber-physical systems engineering. His research has been cited over 1,800 times, with contributions to software tools and simulation methodologies for industrial systems.

Karl BringmannView profile

Professor

• Theoretical Computer Science
• Fine-Grained Complexity
• Algorithm Design
• +5 more

Karl Bringmann is a Professor at Saarland University since November 2019 and is affiliated with the Max Planck Institute for Informatics, where he works in the Department of Algorithms and Complexity. He has established himself as a leading researcher in theoretical computer science, particularly in fine-grained complexity and algorithm design. His work bridges theoretical insights with practical applications in optimization problems. Bringmann's research focuses on conditional lower bounds (often based on the Strong Exponential Time Hypothesis) and algorithm design, with particular emphasis on optimization problems, string algorithms, and computational geometry. His work has significant implications for fundamental problems like Subset Sum, Knapsack, and Integer Programming, with applications ranging from scheduling to post-quantum cryptography. He develops innovative approaches combining modern algorithmic techniques, mathematical structure theory, and fine-grained complexity to design faster algorithms and establish optimality. His publication record shows a consistent trend toward developing near-optimal algorithms for fundamental problems, with significant contributions to fine-grained complexity theory. His work often establishes tight conditional lower bounds while simultaneously providing matching upper bounds, creating a comprehensive understanding of problem complexity. He has made notable advances in string algorithms (particularly edit distance), geometric problems, and optimization. ERC Starting Grant 2019: Technology Transfer between Integer Programming and Efficient Algorithms (TIPEA) EATCS Presburger Award for Young Scientists 2019 Heinz Maier-Leibnitz-Prize 2019 EATCS Distinguished Dissertation Award 2015 Google European Doctoral Fellowship 2012-2014 Bringmann leads the ERC-funded TIPEA project (2019-2024), which investigates fundamental optimization problems with the goal of developing next-generation industrial solvers. He advises several PhD students including Nick Fischer, Alejandro Cassis, and Vasileios Nakos, and has served on numerous program committees for top theoretical computer science conferences including STOC, FOCS, SODA, and ICALP. His teaching includes advanced courses on Fine-Grained Complexity Theory and Competitive Programming.

Laure DaviaudView profile

Associate Professor

• Formal Verification
• Automata Theory
• Models of Computation
• +4 more

Laure Daviaud is an Associate Professor in the School of Computing Sciences at the University of East Anglia (UEA). She holds associate membership in the Algebra, Number Theory, Logic, and Representations (ANTLR) group and the Computational Biology team, and is a member of UEA's Data Science and AI initiatives. Her academic background includes a Doctor of Philosophy from IRIF - CNRS/Université de Paris, focusing on the asymptotic behavior of min-plus and max-plus automata (2014). Her research interests center on Formal Verification, Automata Theory, Logic, Automata Learning, and Decidability. Recent work explores decidability questions in max-plus automata, probabilistic automata containment, and neural network analysis. She has contributed to quasi-polynomial lower bounds for parity games and the study of counting mechanisms in ReLU RNNs. Current projects include the Engineering and Physical Sciences Research Council-funded 'Learning, Approximating and Minimising Streaming Automata for Large-scale Optimisation' (2023–2024). She collaborates internationally, including as a Visiting Research Fellow at City, University of London since 2023. Her publications span over 25 peer-reviewed articles, with recent focus on weighted automata, max-plus algebra, and formal methods. She actively participates in program committees for conferences like ICALP and FoSSaCS, and delivers invited talks at events such as Highlights of Logic, Games and Automata.