Marta Kwiatkowska is a Professor of Computing Systems at the University of Oxford and a Fellow of Trinity College. Her research focuses on probabilistic verification , quantitative model checking , and formal methods for complex systems including autonomous robots, medical devices, and biological systems. She leads the development of the PRISM and PRISM-games probabilistic model checkers. Key research areas: Probabilistic systems, formal verification, autonomous robotics, medical device analysis, systems biology Grants: ERC Advanced Grant VERIWARE, EPSRC Programme Grant Mobile Autonomy Awards: 2024 ETAPS Test-of-Time Tool Award for PRISM Students: Current and former advisees in topics spanning formal methods, robotics, and quantitative verification The PRISM-games extension enables verification of stochastic multi-player games with applications in network protocols, autonomous systems, and game theory. Her work bridges theory, algorithms, and practical implementation, with real-world applications in ubiquitous computing and nanotechnology.
Ronald Parr is a Professor of Computer Science in the Department of Computer Science at Duke University's Pratt School of Engineering. He has been at Duke since 2000, progressing from Assistant Professor to Associate Professor with tenure, and ultimately to Full Professor. From 2014 to 2017, he served as Department Chair and delivered graduation speeches in 2015, 2016, and 2017. Dr. Parr received his Ph.D. in Computer Science from the University of California, Berkeley in 1998, with a dissertation titled "Hierarchical Control and Learning in Markov Decision Processes" under advisor Stuart Russell. He earned his A.B. in Philosophy, cum laude, from Princeton University in 1990. His primary research focuses on methods for solving large stochastic planning problems using Markov Decision Processes and approximate dynamic programming techniques. His work spans reinforcement learning, value function approximation, game theory, sensing, and robotics. Dr. Parr's research has been consistently funded by major agencies including NSF, DARPA, and ARO, with recent projects focusing on feature encoding for reinforcement learning, neurosymbolic hierarchical reinforcement learning, and reasoning in large, structured, uncertain domains. His publication record demonstrates consistent contributions to top venues including NeurIPS, ICML, and AAAI, with work that bridges theoretical foundations and practical applications. Dr. Parr has received numerous honors including being elected as an AAAI Fellow in 2023, receiving an AAAI Outstanding Paper Honorable Mention in 2013, winning the IJCAI-JAIR Best Paper Award in 2007, receiving an NSF CAREER award in 2006, and being named an Alfred P. Sloan Fellow in 2003. He has advised ten graduate students to completion across various research areas within AI and robotics. His research has been supported by over $1.5 million in direct funding to his lab, with additional collaborative funding from multiple NSF, DARPA, and ARO grants. Dr. Parr has served extensively on program committees for major AI conferences including ICML, NeurIPS, AAAI, and UAI, and has held leadership roles such as Program Co-Chair and General Chair for UAI. Dr. Parr maintains an active research group focused on reinforcement learning and sequential decision making, with ongoing projects in neurosymbolic AI, hierarchical reinforcement learning, and interpretable machine learning models, continuing to bridge theoretical foundations with practical applications in robotics and AI systems.
Jessica Lin is an Associate Professor in the Department of Computer Science at George Mason University, with a focus on data mining and time series analysis. She has published extensively on topics including motif discovery, anomaly detection, clustering, and symbolic representation of time series data. Ph.D., M.S., and B.S. in Computer Science from UC Riverside (2005, 2002, 1999) Her research spans efficient algorithms for mining massive time series datasets, extending to multimedia data like images and texts. She has developed tools such as GrammarViz and SAX for pattern visualization and symbolic analysis. Recent publications highlight advancements in variable-length motif discovery, interpretable classification frameworks, and anomaly detection. Her work appears in top conferences like AAAI, ICDM, and SDM, as well as journals including Knowledge and Information Systems and Data Mining and Knowledge Discovery . Dr. Lin has advised numerous Ph.D. students, many of whom have taken academic or industry positions. She has served on editorial boards and program committees for conferences such as KDD, ICDM, and ECML-PKDD.
Luca Peretti is an Associate Professor in Electric Machines and Drives at KTH Royal Institute of Technology, affiliated with the School of Electrical Engineering and Computer Science and the Department of Electrical Engineering, Division of Electric Power and Energy Systems. He works as a researcher in the EMD (Electric Machines and Drives) group and serves as Partner Director for KTH's strategic partnership with ABB. Education: M.Sc. in Electronic Engineering (2005) from University of Udine, Ph.D. from University of Padova (2008) Professional Experience: Postdoc at University of Padova (2009-2010), Principal Scientist at ABB Corporate Research (2010-2018), Associate Professor at KTH (2018-present) His research focuses on: Automatic parameter estimation in electric machines Multiphase drive systems Sensorless control algorithms Loss segregation in drive systems Condition monitoring of industrial and transportation applications Recent publications demonstrate expertise in variable phase-pole machines, harmonic plane decomposition, predictive control algorithms, and advanced modeling of permanent magnet motors. Key application areas include transportation electrification, wind energy systems, and industrial drive technologies. Scientific roles include: Associate Editor, IET Electric Power Applications Journal (2019-present) Theme Co-Leader, Swedish Electromobility Center (2020-present) Member, IEEE (2021-present) and IET (2006-present) He leads the strategic partnership with ABB and contributes to doctoral program committees at University of Padova.
Lam James is a Chair Professor of Control Engineering at the University of Hong Kong (HKU), affiliated with the Faculty of Engineering. He holds a BSc (1st Hons.) in Mechanical Engineering from the University of Manchester, and MPhil/PhD degrees from the University of Cambridge. His academic journey includes roles as a Croucher Fellow, Lecturer at the University of Melbourne, and faculty member at City University of Hong Kong before joining HKU in 1993. Professor Lam serves as Editor-in-Chief for four international journals including IET Control Theory and Applications and Journal of The Franklin Institute . His research focuses on networked control systems, vibration control, control theory, and multi-agent systems. With 600+ peer-reviewed publications, he maintains an H-index of 102 (Web of Science) and 108 (Scopus), recognized as a Highly Cited Researcher in multiple fields. Education: BSc Manchester (Mechanical Engineering), MPhil/PhD Cambridge Editorial Roles: 20+ journals, including leadership roles since 2012 His awards include Foreign Membership of Academia Europaea (2024), National Academy of Artificial Intelligence membership (2025), and two State Natural Science Awards (2015, 2019). He is a Fellow of multiple institutions including IEEE, IMechE, and HKIE.
Ralph H. Colby serves as Professor of Materials Science and Engineering and Chemical Engineering at Pennsylvania State University's College of Earth and Mineral Sciences, holding the Corning Faculty Fellowship. His research focuses on molecular-level dynamics in complex fluids, particularly polymers, ionomers, and liquid crystalline systems. With over 130 publications and authorship of the textbook Polymer Physics (2003), he directs an active research program examining structure-property relationships in soft matter. B.S. in Materials Science and Engineering, Cornell University (1979) M.S. in Chemical Engineering, Northwestern University (1983) Ph.D. in Chemical Engineering, Northwestern University (1985) Professor Colby's research spans polymer physics, rheology, and materials for energy applications. His group employs mechanical rheology, dielectric spectroscopy, and scattering techniques to investigate ion transport in single-ion conductors for batteries, dynamics of glass-forming liquids, and self-assembly in polyelectrolyte systems. Current work emphasizes structure-property relationships in ionomers, liquid crystalline polymers, and branched architectures. Analysis of recent publications reveals consistent focus on ionomer membranes for energy applications, processing-structure relationships in advanced polymers, and fundamental dynamics of complex fluids. Key trends include increasing integration of computational modeling with experimental characterization, expansion into sustainable materials processing, and growing emphasis on applications in battery technology and biomedical materials. Penn State Faculty Scholar Medal for Outstanding Achievement (2022) Bingham Medal, Society of Rheology (2012) American Chemical Society Fellowship Corning Faculty Fellowship in Materials Science and Engineering Professor Colby leads multiple federally funded projects including NSF's 'Fundamental Studies of Flow-Induced Polymer Crystallization' and DOE's 'Conduction mechanisms and structure of ionomeric single-ion conductors'. His group maintains strong industry partnerships with Corning Incorporated and participates in interdisciplinary initiatives like the Penn State Intercollege Graduate Degree Program in Materials Science and Engineering. Current research includes collaborations on breast cancer adherence interventions in Rwanda and conjugated polymer development for flexible electronics. The Colby Research Group operates specialized facilities for rheological characterization, dielectric spectroscopy, and X-ray scattering at Penn State's Materials Research Institute. The team maintains active collaborations with national laboratories and international research groups, focusing on translating fundamental polymer physics discoveries into practical applications for energy storage and advanced manufacturing.
Jianghai Hu is a Professor of Electrical and Computer Engineering at Purdue University, affiliated with the Elmore Family School of Electrical and Computer Engineering within the College of Engineering. He holds a BE from Xi'an Jiaotong University (1994), MS and MA from the University of California, Berkeley (1999-2000), and a PhD in Electrical Engineering from UC Berkeley (2003). His research focuses on control systems, optimization theory, multi-agent systems, hybrid systems, and energy-efficient building management. Key areas include automatic controls, sensor networks, and signal processing. Research Interests: Hybrid systems and multi-agent coordination Optimal control and optimization Applications in energy-efficient buildings and autonomous systems Stochastic control and game theory Recent publications highlight contributions to zeroth-order learning in games, robust control for autonomous vehicles, and distributed optimization algorithms. His work bridges theoretical foundations with practical applications in robotics, energy systems, and networked control. Jianghai Hu advises numerous graduate students and collaborates on projects involving building control systems and distributed algorithms. His research has been supported through interdisciplinary initiatives at Purdue and industry partnerships.
John Baillieul is Distinguished Professor at Boston University with joint appointments in Mechanical Engineering, Systems Engineering and Electrical & Computer Engineering. He directs experimental laboratories for real-time control of lightweight robotic systems and applies nonlinear control theory to complex multi-body, networked, and bio-inspired systems. Education: Ph.D., Harvard University Research Interests: Baillieul’s work spans robotics, nonlinear control, and networked systems. Early contributions resolved motion-planning for kinematically redundant manipulators; current themes include neuromimetic learning, vision-based navigation, and resilience of infrastructure networks such as power grids. His group couples rigorous geometric control with real-time hardware to create lightweight, high-performance robots and to uncover fundamental information limits in feedback systems. Recent Publication Trends (2021-2025): Over the past five years his output has concentrated on three synergistic directions: (i) neuromimetic and Koopman-based data-driven methods for estimating and controlling nonlinear systems, (ii) vision-based guidance and sparse optical-flow primitives for agile autonomous flight, and (iii) network-theoretic decomposition and information-rate studies for resilient operation of power grids and collective dynamics. Honors & Awards: IEEE Fellow 2025 Roger W. Brockett Control Systems Award Former Editor-in-Chief, IEEE Transactions on Automatic Control Affiliations & Service: He is a member of Boston University’s Center for Information and Systems Engineering (CISE), has served as Editor-in-Chief of IEEE Transactions on Automatic Control, and remains active in editorial and organizational roles across the IEEE control systems community.
Daniel A. Spielman is a Sterling Professor of Computer Science, Statistics & Data Science, and Mathematics at Yale University. He serves as the inaugural James A. Attwood Director of the Institute for Foundations of Data Science (FDS) and was previously co-Director of the Yale Institute for Network Science (YINS). He is also a member of TILOS, the NSF Institute for Learning-Enabled Optimization at Scale. His research interests span Spectral Graph Theory, Algebraic Graph Theory, Laplacian Matrices, Expander Graphs, and Random Walks on Graphs. Spielman has made fundamental contributions to understanding the mathematical foundations of data science, including work on smoothed analysis of algorithms, spectral sparsification, and solutions to the Kadison-Singer problem. Spielman's publications demonstrate a consistent focus on developing efficient algorithms with strong theoretical foundations. His work bridges pure mathematics, theoretical computer science, and practical applications in network analysis and machine learning. His research has evolved from foundational work on smoothed analysis to recent contributions in experimental design using discrepancy theory. His scientific honors include: Nevanlinna Prize for contributions to mathematical aspects of computer science Two Gödel Prizes (2008 and 2015) for outstanding papers in theoretical computer science MacArthur Fellowship ('Genius Grant') Simons Investigator award Membership in the National Academy of Sciences and American Academy of Arts and Sciences Spielman has advised numerous PhD students who have gone on to prominent positions in academia and industry. His teaching includes advanced courses in Spectral Graph Theory and Computation and Optimization. He has developed important software packages like Laplacians.jl for solving Laplacian linear equations and related problems.
Patricio Vela is a Professor at the School of Electrical and Computer Engineering , Georgia Institute of Technology , specializing in geometric perspectives for control theory and computer vision. His research focuses on computer vision integration for semi-autonomous systems, nonlinear control of robotic systems, and biologically inspired mechanics. Education: B.S. (1998) and Ph.D. (2003) from Caltech Research Areas: Autonomy, Robotics, Computer Vision, Control Theory Key Contributions: Geometry-based control systems, visual navigation frameworks, SLAM benchmarking Recent publications highlight advances in vision-based motion planning , 6D pose tracking , and safe navigation policies for autonomous robots. His work bridges geometric mechanics with deep learning for robust perception and control in dynamic environments. Awards: HENAAC Most Promising Engineer (2005) Contact: pvela@gatech.edu | Office: TSRB 441 | Phone: 404.894.8749
James B. Rawlings is the Mellichamp Process Control Chair in the Department of Chemical Engineering at the University of California, Santa Barbara, and holds the rank of Professor. His research focuses on chemical process control, reaction engineering at the molecular level, and computational modeling with tools like Octave. He has held prominent roles, including the Paul A. Elfers Chair at UW Madison and the Steenbock Professor of Engineering. Education: PhD in Chemical Engineering from the University of Wisconsin-Madison (1985), BS in Chemical Engineering from The University of Texas at Austin. Postdoctoral training at the Institute for System Dynamics and Process Control, University of Stuttgart (1985-1986). Research interests include nonlinear systems, model predictive control (MPC), moving horizon estimation (MHE), and stochastic reaction engineering. His work bridges theory and industrial applications, emphasizing robustness and practical implementation. Awards: Elected Fellow of the National Academy of Engineering (2016), IFAC (2016), and IEEE (2012). Recipient of the Process Automation Hall of Fame (2016), Vilas Distinguished Achievement Professor (2015), and numerous AIChE awards. Honorary doctorate from Technical University of Denmark (2011). Grants & Leadership: Led NSF-funded projects on MPC and control systems. Developed Octave, a widely used computational tool. Active in academic leadership and curriculum development, recognized with teaching awards including the Chancellor’s Distinguished Teaching Award (2013). Labs & Teams: Directs research groups focused on control theory, computational tools, and industrial process optimization. Collaborates with industry on MPC implementation and disturbance modeling.
Supratik Chakraborty serves as the Bajaj Group Chair Professor in the Department of Computer Science and Engineering at Indian Institute of Technology Bombay. He maintains dual affiliations with the Centre for Formal Design and Verification of Software and the Centre for Liberal Education at IIT Bombay, demonstrating his cross-disciplinary engagement. Professor Chakraborty's research spans formal methods with focus on formal verification, rigorous analysis of system models, and automated synthesis of systems from specifications. His work bridges theoretical foundations with practical applications, particularly in developing mathematically provable guarantees for increasingly complex hardware, software, and intelligent systems. Current research interests include constrained counting and sampling, scalable formal verification of software and hardware systems, automated synthesis of programs and circuits, and applications of automata, logic and finite model theory to practical verification challenges. His publication trajectory shows a significant evolution from traditional hardware and software verification toward addressing verification challenges in machine learning and AI systems. Recent work increasingly focuses on interpretability of black-box models, verification of neural networks, and synthesis techniques applicable to intelligent systems. The research demonstrates strong interdisciplinary connections between formal methods, programming languages, and artificial intelligence. IIT Bombay Excellence in Thesis (CSE) Award 2011 (for Bhargav Gulavani's thesis) IIT Bombay Excellence in Thesis (CSE) Award 2017 (for Abhisekh Sankaran's thesis) Best Paper in Algorithms and Architecture track at IEEE International Conference on Computer Design: VLSI in Computers and Processors, 1998 Professor Chakraborty has successfully supervised 11 doctoral students, with research spanning formal verification techniques, Boolean functional synthesis, constrained counting, and applications to hardware and software systems. His students have gone on to positions at major institutions including Microsoft Research, TCS Research, Georgia Tech, and BARC, reflecting the strong industry and academic impact of his mentorship. Current research directions show increasing emphasis on verification challenges posed by machine learning systems and AI. His research group at IIT Bombay, while not explicitly named in the materials, appears to focus on formal methods with strong connections to the Centre for Formal Design and Verification of Software. The group maintains active collaborations with international researchers including Moshe Y. Vardi at Rice University, and has made significant contributions to verification tools like VeriAbs that bridge theoretical advances with practical applications.
Prof. Waldemar Kolanus leads the Molecular Immunology and Cell Biology department at the University of Bonn's Life & Medical Sciences Institute (LIMES) . His research bridges immunoregulation , stem cell dynamics , and metabolic stress responses in immune cells. Unit 2 member at LIMES Principal investigator in SFB 704 and ImmunoSensation Cluster Leads a multidisciplinary lab with postdocs, PhD students, and technical staff His work focuses on intracellular signaling pathways connecting immune activation to tissue homeostasis, particularly through: Cytohesin proteins in integrin-mediated adhesion and migration TRIM71 in stem cell regulation and congenital hydrocephalus High-salt environments affecting macrophage function Publication trends show expertise in immune cell migration , genetic models , and chemical inhibition , with frequent use of mice and zebrafish for in vivo studies. Key articles explore: TRIM71's dual role in auditory development and germ cell maintenance Cytohesin family's Golgi regulation and insulin signaling Ruxolitinib's off-target migration inhibition of dendritic cells Contact details: Address: LIMES Institute, Carl-Troll-Straße 31, Bonn Email: kolanus.sekretariat@uni-bonn.de Phone: +49 228 73-62788
Dr. Andrea Martinelli is a Lecturer and Postdoctoral Researcher at the Automatic Control Laboratory (IfA), ETH Zurich. He holds a PhD in Automatic Control from ETH Zurich (2024) under Prof. John Lygeros, an MSc in Control Engineering (2017) from Politecnico di Milano, and a BSc in Management Engineering (2015). His research focuses on optimal control, reinforcement learning, and decentralized control strategies for large-scale systems, emphasizing scalability and applicability to renewable energy systems. He received the ETH Medal for his doctoral thesis on data-driven control methods. Education: BSc in Management Engineering, Politecnico di Milano (2015) MSc in Control Engineering with Honours, Politechnico di Milano (2017) PhD in Automatic Control, ETH Zurich (2024) Research Interests: Optimal control and reinforcement learning Data-driven methods for control systems Decentralized control of interconnected systems Dissipativity theory and passivity-based approaches Applications in renewable energy systems (DC microgrids) Teaching & Outreach: Program Manager for the CAS ETH in Automation Teaching a post-graduate course on automation in 2025 Professional Activities: Worked at Laboratoire d'Automatique (EPFL) during MSc thesis (2017) Research Assistant with Prof. R. Scattolini, Politecnico di Milano (2018)
David Cash is a Professor in the Department of Computer Science at the University of Chicago. His research focuses on applied and theoretical cryptography, computer security, and theoretical computer science. He joined UChicago in 2018 and has held roles such as teaching courses in cryptography, computer security, and discrete mathematics. Cash has advised numerous PhD and master’s students, including Sam Everett, Alexander Hoover, and Jesse Stern. His work includes constructing quantum-secure cryptography systems, analyzing encrypted data navigation, and foundational theoretical results. He has received notable awards like the 2025 Quantrell Award for Teaching and multiple Best Paper awards at Eurocrypt. Cash's research also explores secure computation, oblivious RAM, and cryptographic agility. His affiliations include the Systems Group at UChicago, focusing on interdisciplinary systems research. Education details are not explicitly provided in the text. However, his career trajectory suggests advanced degrees in computer science or related fields. His teaching spans undergraduate and graduate courses, emphasizing both theoretical foundations (e.g., discrete mathematics) and applied topics like cryptocurrencies and secure systems. Cash actively engages in academic service, including organizing conferences and reviewing research. His work bridges theoretical insights with practical applications, addressing modern computational security challenges. His research contributions span cryptographic protocols, secure data structures, and privacy-preserving technologies. Notable projects include work on searchable encryption, leakage-abuse attacks, and cryptographic systems resilient to quantum computing. Cash collaborates with institutions like Rutgers University and has mentored postdoctoral researchers such as Alexander Hoover. His grants include NSF CAREER awards and Simons Institute fellowships, supporting research in secure outsourcing and cryptographic data protection.
