Professor Tim Rogers is affiliated with the University of Bath as a faculty member in the Department of Mathematical Sciences . He is actively involved in research spanning complex systems, network theory, and stochastic processes. PhD in Random Matrix Theory from King's College London (2010) His research focuses on emergent behavior in random systems , including: Collective Behavior : Crowd dynamics, lane formation, and noise-enhanced synchronization Epidemics & Networks : Spread prediction, node risk assessment, and misinformation impacts Ecology & Evolution : Trait emergence, species boundaries, and demographic noise effects Random Matrix Theory : Spectral analysis and applications to complex systems Publication trends reflect interdisciplinary work bridging Physics, Biology, and Mathematics , with a focus on network structures , stochastic modeling , and emergence phenomena . Scientific awards include: 2015 : Editor's Choice for Europhys. Lett. 109, 28005 2016 : Highlight of Journal of Physics A 2017 : Editor's Suggestion for Phys. Rev. E 92, 032708 He has supervised numerous PhD students and postdocs on projects related to stochastic dynamics , network modeling , and mathematical biology , with ongoing grants from agencies like EPSRC and The Leverhulme Trust .
Víctor Adrián Braberman is a Full-time Associate Professor at the Department of Computer Science, Faculty of Exact and Natural Sciences, University of Buenos Aires (UBA), and a CONICET researcher. He serves as Co-director of the LaFHIS (Tools and Foundations for Software Engineering) Research Lab at UBA, where he leads significant research in formal methods and software engineering. His academic career demonstrates sustained excellence in both teaching and research within Argentina's premier academic institution. Braberman's research focuses on Formal Verification , particularly Model Checking of Timed Systems, Controller Synthesis, Formal Specification of event-based properties, Aspect-oriented modeling, and Software Architectures. His work also extends to Software Analysis , including Memory Consumption Prediction and Static and Dynamic Program Analysis. These interests position him at the intersection of theoretical computer science and practical software engineering applications, addressing critical challenges in system reliability and performance. His recent publications (2022-2025) reveal a clear trajectory toward integrating artificial intelligence with formal methods , particularly through the application of reinforcement learning to controller synthesis problems and the exploration of Large Language Models for software verification and falsification. The research shows increasing attention to scalability challenges in formal methods and the integration of probabilistic approaches to handle uncertainty in system environments. Automated Reasoning Amazon Research Award (ARA) (2024) Braberman has successfully supervised numerous PhD and Licentiate students, establishing a strong academic lineage in formal methods research in Argentina. His research has been supported by substantial grants including European Community projects (MEALS), ANPCyT PICT grants, UBACyT projects, and Microsoft Research funding. His leadership extends to directing major research initiatives in formal software engineering. As Co-director of LaFHIS, Braberman oversees a vibrant research ecosystem that bridges theoretical computer science with practical software engineering challenges. The lab maintains strong international collaborations, particularly with European institutions, and has secured competitive funding from both national and international sources, demonstrating the global relevance of their work in formal methods and software engineering.
Vera Pantelic is an Adjunct Assistant Professor in the Department of Computing and Software at McMaster University. Her research focuses on software engineering practices for model-based development in automotive systems, particularly centralized Electrical/Electronic (E/E) architectures, Simulink modeling, and supervisory control of probabilistic discrete event systems. Education: Not explicitly mentioned in the text. Her scholarly activity includes extensive contributions to conferences and journals in automotive software engineering, model transformation, and real-time systems. Her work addresses challenges in modularity, documentation, and compliance within automotive embedded systems. Her recent publications emphasize advancements in centralized E/E architectures, model-driven testing, and assurance cases for automotive safety. She collaborates on topics integrating software engineering principles with automotive domain requirements. Scientific Awards: No specific awards mentioned in the text. She serves as an advisor in software engineering, though specific student names are not listed. Her projects involve simulation-based testing, model refactoring, and compliance frameworks, supported by industry partnerships and academic grants. Her work contributes to labs and teams focused on automotive software reliability and model-driven engineering. No explicit lab or team affiliations are detailed in the provided text.
Le Khanh Ngan Nguyen is a Chancellor’s Fellow and Lecturer in the Department of Management Science at the University of Strathclyde. Her research focuses on hybrid simulation models (system dynamics, agent-based, and discrete-event) to evaluate health and social care policies. Previously, she conducted systems thinking research at University College London. She holds a PhD from the University of Strathclyde (2022), a Master of Public Health from the University of Sydney, and a Bachelor of Pharmacy. Research Interests: Combining simulation techniques like system dynamics and agent-based modeling to enhance decision-making in healthcare systems. Specializes in hybrid models for evaluating interventions against healthcare-associated infections and pandemic responses (e.g., COVID-19). Key Focus Areas: Healthcare Policy, Sustainability, Pandemic Modeling, Infection Control UN SDG Contributions: Aligns with goals related to Good Health & Well-being and Sustainable Cities Recent work highlights include analyzing kidney replacement therapy policy in Thailand using causal loop diagrams and exploring unsustainable pressures in UK health systems via qualitative system dynamics. Her research bridges operational research with real-world policy implementation challenges. Recent Awards: Finalist for 2022 EURO Prize for OR in Common Good, SBS Knowledge Exchange Award (2023) Collaborations involve projects on data value chains for evidence-based policymaking and collaborative research cultures in academia. Active in conferences like the Royal Statistical Society Conference (2025) and workshops on occupational health innovations.
Sofie Haesaert is an Assistant Professor in the Control Systems group at the Department of Electrical Engineering, Eindhoven University of Technology. Her work focuses on formal verification and control synthesis methods for cyber-physical systems, particularly through stochastic simulation relations and temporal logic specifications. Education: BSc (cum laude) and MSc (cum laude) in Mechanical Engineering and Systems & Control from Delft University of Technology; PhD from Eindhoven University of Technology (2017) Experience: Postdoctoral researcher at Caltech (2017-2018), then returned to TU/e as Assistant Professor Her research interests include: Cyber-physical systems verification Stochastic control methods Temporal logic specification Markov decision processes Formal methods in control engineering Model abstractions and simulation relations Recent publications show strong focus on: Stochastic temporal logic control Robust and risk-aware control Multi-agent system verification Formal synthesis via simulation relations AI integration in control systems Software tools for formal control Scientific achievements: Veni Grant recipient (2020) Co-developer of the SySCoRe toolset for stochastic control synthesis Contributor to formal verification benchmarks through ARCH-COMP reports She contributes to education through courses on: Control principles for engineered systems Control challenges in autonomous racing Supervisory control of cyber-physical systems Haesaert collaborates across disciplines including computer science, applied mathematics, and robotics, with over 750 citations and significant contributions to formal control theory for stochastic systems. Her work bridges theoretical developments with practical applications in autonomous systems and complex control architectures.
Anne-Cécile Orgerie is a permanent CNRS Research Scientist (Directrice de recherche) at the Magellan Team within IRISA in Rennes, France. She holds a PhD from École Normale Supérieure de Lyon (2011) and previously worked as a postdoctoral researcher at the University of Melbourne. Current roles: Director of GDRS EcoInfo (CNRS service group on ICT environmental impact), member of multiple editorial boards (e.g., IEEE TPDS, IJDSN), and TPC member for conferences like SC, IPDPS, and CCGrid. Research Focus: Her work centers on energy efficiency and environmental impacts of distributed systems, including cloud infrastructures, telecommunications networks, and smart grids. She explores renewable energy integration, resource optimization, and co-simulation frameworks for smart grid management. Key Projects: Leads initiatives like CARECloud (PEPR Cloud project reducing cloud environmental impacts, 2023–2030) and DECORUS (CNRS 80Prime project on renewable-powered edge computing). Co-leads the RennesGrid ADEME project (2017–2021) for smart grid demonstrators. Supervision: Advises/co-advises over 20 PhD students and postdocs, focusing on topics like energy-efficient fog infrastructures, co-optimization of electrical/communication networks, and edge computing models.
Bernard S. Black serves as Professor of Finance at Kellogg School of Management and the Nicholas D. Chabraja Professor at Northwestern University School of Law, holding a joint appointment since 2010. He concurrently serves as managing director of the Social Science Research Network and founding chairman of the annual Conference on Empirical Legal Studies. His academic foundation includes: B.A. from Princeton University M.A. in physics from University of California at Berkeley J.D. from Stanford Law School Prior academic roles encompass Professor of Law at Stanford Law School (1998-2004) and Columbia Law School (1988-1998). His research centers on empirical analysis of law-finance interactions, with emphasis on corporate governance frameworks in emerging economies, securities regulation, and medical malpractice systems. Methodologically, he integrates legal scholarship with quantitative finance approaches. Recent publications (2016-2022) demonstrate sustained focus on corporate governance validity testing, causal inference methodologies, and cross-country comparative studies—particularly examining Brazil and BRIK nations. Key themes include board structure efficacy, shareholder rights enforcement, and institutional determinants of market value in developing economies. No scientific awards were documented in source materials. While specific student advisees remain unlisted, Professor Black's extensive co-authorship record (including books like The Law and Finance of Corporate Acquisitions ) indicates active research mentorship. His leadership of the Social Science Research Network and Conference on Empirical Legal Studies constitutes significant community-building beyond traditional advising. He directs the Social Science Research Network as managing director and founded the Conference on Empirical Legal Studies, creating platforms for interdisciplinary law-finance scholarship dissemination.
Zhibin Chen is an Assistant Professor of Engineering at NYU Shanghai and concurrently a Global Network Assistant Professor within the broader New York University system. Since January 2019 he has led research and teaching activities at the Division of Engineering and Computer Science in Shanghai, while maintaining university-wide collaborations through his Global Network appointment. Education Ph.D. in Transportation Engineering, University of Florida (2017) Research Interests Dr. Chen’s scholarship centres on Transportation Network Modeling and Optimization , Intelligent Transportation Systems , and Discrete Optimization . He integrates operations research, data science, and engineering to address emerging challenges in electric mobility, autonomous vehicles, and large-scale urban networks. Recent thrusts include: Data-driven analytics of electric-vehicle charging behaviour under usage heterogeneity. Optimization of charging and swapping infrastructure for electric buses and trucks. Network-level deployment and control strategies for connected and automated vehicles. Day-to-day traffic dynamics and equilibrium models with elastic demand. Pricing, policy, and incentive design for sustainable transportation systems. Scientific Awards Stella Dafermos Best Paper Award – awarded at the 95th Transportation Research Board Annual Meeting. Ryuichi Kitamura Paper Award – also conferred at the 95th TRB Annual Meeting. Editorial & Professional Service Dr. Chen currently serves on the Editorial Advisory Board of Transportation Research Part C: Emerging Technologies , shaping the editorial direction of the leading journal in his field. Grants & Collaborations While specific grant identifiers are not disclosed in the provided text, Dr. Chen’s extensive publication record in top-tier journals ( Transportation Science , Transportation Research Parts B, C, D , IEEE ITS , Applied Energy ) and his editorial role indicate sustained research funding and active collaboration with international partners across North America and China. Laboratories & Teams Operating within the Division of Engineering and Computer Science at NYU Shanghai , Dr. Chen leads a research group focused on next-generation mobility analytics, leveraging the university’s interdisciplinary ecosystem and NYU’s Global Network resources to advance smart and sustainable transportation.
Yuan Gao is an Assistant Professor of Mathematics at Purdue University's Department of Mathematics (College of Science). His research focuses on analysis and computations of PDEs in materials science, biology, and microfluidics, with recent emphasis on optimal control, Hamilton-Jacobi equations, and non-equilibrium chemical reactions. His work is supported by NSF awards DMS-2204288 and DMS-2440651. Previously, he held the William W. Elliott Assistant Research Professor position at Duke University (2019-2021). Research interests include PDE analysis in materials science (crystal growth, dislocation dynamics), numerical methods for interface dynamics, applied stochastic analysis (Langevin dynamics, transition path theory), and mean-field games for fluid systems. He organizes the PSU-Purdue-UMD Joint Seminar on Mathematical Data Science. Key publications span topics like dislocation evolution, Wasserstein gradient flows, and stochastic algorithms for rare events. Awards include NSF CAREER funding recognizing his contributions to mathematical analysis of non-equilibrium systems.
Bahman Rostami-Tabar is Professor of Analytics and Decision Sciences at Cardiff Business School, Cardiff University, UK. He is the founder and director of the Data Lab for Social Good and the founder and chair of the Forecasting for Social Good (F4SG) initiative sponsored by the International Institute of Forecasters. He also leads the 'Uncertainty & the Future' theme at the Digital Transformation Innovation Institute. His research spans probabilistic forecasting, operational research, and data science with applications in healthcare, humanitarian logistics, and sustainable development. Research Interests: His work emphasizes transforming data into insights for decision-making under uncertainty. His research is structured into three pillars: (1) Conceptual work on forecasting for social good and the UN Sustainable Development Goals; (2) Methodological innovations in temporal aggregation, hierarchical forecasting, and machine learning for time series; and (3) Applications in healthcare operations, global health, and humanitarian supply chains. He has collaborated with organizations such as the NHS, USAID, ICRC, and JSI. Publication Trends: His recent publications (2023–2025) focus on probabilistic forecasting in healthcare (e.g., emergency department arrivals, trauma networks), hybrid machine learning models for humanitarian demand, and the societal role of forecasting. There is a strong emphasis on real-world impact, with applications in public health, supply chain resilience, and data-driven policy. Scientific Awards: Goodeve Medal, Operational Research Society, UK (2024) Fellowship, Institute of Advanced Studies, Montpellier, France (2024) Public Value Fellow, Cardiff Business School (2021) Associate Fellow, NHS-R community (2021) MIM best paper award (IFAC, 2013) Best Track Paper Award, International Symposium on Industrial Engineering and Operations Management (2017) Supervision and Grants: He actively supervises PhD students in forecasting, healthcare systems, and supply chains. He leads the 'Democratising Forecasting' project, delivering free R-based forecasting training in developing countries. He also chairs the F4SG Research Grant program, awarding $5,000 to researchers in low- and lower-middle-income countries for socially impactful forecasting research. Labs and Teams: He founded and directs the Data Lab for Social Good at Cardiff Business School and leads the international Forecasting for Social Good network, which includes learning labs, hackathons, and a forecasting book club to foster global collaboration.
David Yao is the Piyasombatkul Family Professor of Industrial Engineering and Operations Research at Columbia Engineering, Columbia University. He has been a faculty member in the Department of Industrial Engineering and Operations Research (IEOR) since 1983 and became a full professor in 1988. He is a DSI Member and serves as Co-Chair of Financial and Business Analytics at the Data Science Institute. His research spans stochastic modeling, optimization, and operations management with applications in supply chains, manufacturing, and information systems. His research interests lie at the intersection of stochastic systems and decision-making under uncertainty. He specializes in stochastic modeling , queueing networks , production-inventory systems , and supply chain optimization . His work applies to high-tech manufacturing, semiconductor fabrication, computer and web-server scheduling, and logistics. He has pioneered the use of monotone structures in discrete-event systems and dynamic control of quality in production systems. David Yao has received numerous accolades recognizing his scholarly impact, including: IEEE Fellow Outstanding Paper Prize (2003) from SIAM Franz Edelman Award (1999) from INFORMS Outstanding Technical Achievement Award (1999) from IBM Guggenheim Fellowship (1991/92) Presidential Young Investigator Award (1987–1992) from NSF George Nicholson Prize (1983) from ORSA As a principal investigator on over two dozen research grants and contracts, he has led major projects in semiconductor manufacturing, supply chain logistics, and web performance optimization. He holds four U.S. patents in manufacturing and supply chain systems. He has authored over 160 refereed publications, three influential books, and edited multiple volumes. He currently serves as the Stochastic Models Area Editor for Operations Research and has served on editorial boards of leading journals in operations research and applied probability. While no specific students are listed, his long-standing role as a senior professor and grant leader implies extensive mentorship and academic advising. David Yao is affiliated with the Data Science Institute at Columbia University, where he co-chairs the Financial and Business Analytics initiative. His work bridges engineering, data science, and financial applications, contributing to both theoretical advances and real-world systems optimization.
Professor Tomasz Kapitaniak is a distinguished academic in the field of nonlinear dynamics and theoretical mechanics. He serves as a Professor of Theoretical and Applied Mechanics and Head of the Division of Dynamics at the Faculty of Mechanical Engineering, Technical University of Lodz, Poland. His career spans over three decades at the university, where he has made significant contributions to the understanding of nonlinear systems, chaos theory, and mechanical oscillations. Professor Kapitaniak holds advanced degrees in both mechanics and applied mathematics from the Technical University of Lodz and the University of Lodz. His educational background includes: M.Sc. in mechanics, Faculty of Mechanical Engineering, Technical University of Lodz (1982) M.Sc. in applied mathematics, Faculty of Mathematics, Physics and Chemistry, University of Lodz (1985) Ph.D. in mechanics, Faculty of Mechanical Engineering, Technical University of Lodz (1985) D.Sc. in mechanics, Faculty of Mechanical Engineering, Technical University of Lodz (1988) Professor of technical science, title given by the President of Poland (1995) His research focuses on nonlinear dynamics, with particular emphasis on mechanical oscillations, stability, bifurcations and chaos, stochastic dynamics, and applications of nonlinear dynamics in mechanical engineering. Professor Kapitaniak is renowned for his work on the development of methods for controlling chaos without feedback, identification of new types of bifurcations, synchronization mechanisms in coupled mechanical oscillators, and explaining the origin of randomness in mechanical systems. His research has evolved from fundamental theoretical work to increasingly applied studies involving complex networks, biological systems, and engineering applications. Professor Kapitaniak has published over 300 scientific papers in renowned journals, cited over 8,000 times. His work exhibits a consistent focus on understanding complex nonlinear phenomena across various physical systems. The trend in his recent publications shows continued exploration of synchronization phenomena, extreme events in dynamical systems, and applications of nonlinear dynamics to biological, mechanical, and physical systems. His most recent work demonstrates a growing interest in multistability, chimera states, and the prediction of tipping phenomena in complex systems. Among his notable scientific achievements and distinctions are: Election as a member of the Polish Academy of Sciences (corresponding member in 2013, ordinary member in 2019) Election to Academia Europaea in 2021 Honorary doctorates from Saratov State University (Russia, 2001) and Lublin University of Technology (Poland, 2014) Multiple prestigious fellowships including the British Council Fellowship (1989), King Abdul Aziz Award Fellowship (1990), and Fulbright Fellowship (1997) Editorial roles including Associate editor of Chaos, Solitons and Fractals since 1990 and member of editorial boards of several other prestigious journals Throughout his career, Professor Kapitaniak has been actively involved in mentoring the next generation of researchers, having supervised numerous PhD students including Jerzy Wojewoda, Anton van Wyk, Barbara Błażejczyk-Okolewska, Andrzej Stefański, Andrzej Kozłowski, and Przemysław Szumiński. He has secured significant research funding from various national and international sources including the Ministry of Science and Higher Education (Poland), Deutscher Akademischer Austauschdienst, The Royal Society of London, and others. His research team has maintained strong international collaborations with institutions worldwide, including universities in the United States, United Kingdom, Germany, Brazil, Russia, and Ukraine. He leads the Division of Dynamics at the Technical University of Lodz, which serves as a hub for research in nonlinear dynamics, mechanical oscillations, and related fields. The division maintains strong international collaborations with institutions worldwide and continues to produce cutting-edge research in the field of nonlinear dynamics and its applications.
Stefan Kowalewski serves as Professor of Embedded Software at RWTH Aachen University, leading the Chair of Embedded Software (Informatik 11) within the Department of Computer Science. His research spans critical domains including medical cyber-physical systems, automotive software, and industrial automation, with over 150 publications demonstrating sustained scholarly impact. Professor Kowalewski's work focuses on three interconnected research pillars: Embedded Systems Verification: Pioneering model checking techniques for PLC code, particularly addressing state space challenges in GRAFCET-based specifications Medical Cyber-Physical Systems: Developing safety-critical software for mechanical ventilation, extracorporeal membrane oxygenation, and ARDS diagnosis systems with strong clinical collaborations Automotive Software: Creating verification frameworks and safety architectures for automated vehicles through projects like UNICARagil Recent publications reveal an increasing integration of AI techniques with traditional verification methods, particularly for medical applications involving neonatal care and critical respiratory support. His 2024-2025 work shows particular emphasis on timing isolation in vehicle communication systems, middleware performance evaluation, and robust AI models for medical diagnosis. Professor Kowalewski maintains active collaborations with RWTH Aachen University Hospital's medical departments and automotive industry partners. His laboratory operates specialized facilities including the Cyber-Physical Mobility Lab for vehicle research and in-vivo testing setups for medical device validation. He has supervised numerous doctoral candidates, with recent students focusing on topics like ARDS classification algorithms, GRAFCET verification techniques, and safety architectures for software-defined vehicles. His educational contributions include developing remote teaching platforms for cyber-physical systems education.
Alborz Shokrani Chaharsooghi is a Professor at the University of Bath's Department of Mechanical Engineering. He leads research in advanced manufacturing technologies, with a focus on sustainable and circular manufacturing, innovative machining processes, and digital manufacturing systems. He is actively involved in projects funded by EPSRC, Innovate UK, and EU Horizon, including initiatives like the Made Smarter Innovation Centre for People-Led Digitalisation and the I-Break ATI with Airbus collaboration. Education: Doctor of Philosophy in Mechanical Engineering (University of Bath, 2014) Research Interests: His work bridges traditional manufacturing with emerging technologies, emphasizing cryogenic machining of titanium alloys, additive manufacturing optimization, and machine learning applications in intelligent manufacturing. Recent projects explore energy-efficient processes and data analytics for process monitoring. Grants & Projects: EPSRC-funded research on additive layer manufacturing of high-performance alloys Horizon Europe-funded Twinning IZTECH in Robotics Manufacturing Systems Innovate UK project on cost modeling for additive manufacturing Teaching: Specializes in manufacturing processes, discrete event simulation, and optimization techniques for engineering systems.
Hugo Paquet is a Researcher at INRIA Paris and a member of the ANTIQUE team at École Normale Supérieure , PSL University. He completed a PhD in Computer Science (2015–2019) at the University of Cambridge under Glynn Winskel , focusing on concurrent game semantics for probabilistic programming. His postdoctoral work includes positions at LIPN, Paris (2022–2024, funded by a Marie Skłodowska-Curie Award) and University of Oxford (2020–2022). He has contributed to conferences including LICS , ESOP , FSCD , and POPL . Education : PhD in Computer Science (University of Cambridge, 2019) Research Interests : Probabilistic programming (semantics, inference algorithms, nonparametric models), categorical semantics (game semantics, concurrency models, adjunctions), combinatorial species, and 2-dimensional categories. Teaching : Category Theory (2023–2024), Bayesian Statistical Probabilistic Programming (2021–2022), Lambda-calculus and Types (2020–2021), and small-group teaching at Cambridge (Logic, Discrete Mathematics, Semantics). Awards : Marie Skłodowska-Curie Award under the Paris Region Fellowship Programme Labs : INRIA Paris, ANTIQUE team (2024–present)
