Mahnoosh Alizadeh is an Associate Professor in the Department of Electrical and Computer Engineering at the University of California, Santa Barbara (UCSB), affiliated with the Institute for Energy Efficiency and the Center for Control, Dynamical Systems and Computation (CCDC). She directs the Smart Infrastructure Systems laboratory and focuses on scalable control frameworks, data analytics, and market mechanisms for sustainable cyber-physical systems in smart grids and electric transportation. PhD in Electrical and Computer Engineering from UC Davis (2014) Recipient of the National Science Foundation CAREER award (2019) Associate Editor for IEEE Transactions on Control of Network Systems and IEEE Open Journal of Control Systems Her research spans theoretical work in networks, optimization, and AI, with applications in smart grids , electric transportation , and resilient infrastructure . She has contributed to safe optimization algorithms, decentralized learning, and game-theoretic approaches in resource allocation. Recent publications highlight advancements in safe optimization (safe linear bandits, conservative linear bandits), decentralized learning (robust federated learning), game theory (General Lotto games, resource allocation), and smart charging (mobility-aware EV scheduling). These works emphasize real-time decision-making under constraints, security, and robustness in cyber-physical systems. NSF Early CAREER Award Northrop Grumman Excellence in Teaching Award Her research group includes PhD students Spencer Hutchinson, Arghavan Zibaei, Nanfei Jiang, and Sajjad Ghiasvand, with alumni placed at institutions like Apple, Toyota, and the University of Colorado.
Pierre-Henri Paris is an Associate Professor (Maître de Conférences) at Paris-Saclay University since September 2024. Previously, he worked as a Postdoctoral Researcher at Telecom Paris (Institut Polytechnique de Paris) from September 2020 to August 2024. His academic journey includes a PhD in Artificial Intelligence from Sorbonne University and CNAM (Conservatoire National des Arts et Métiers) completed in 2020. Education: PhD in Artificial Intelligence, 2020, Sorbonne University and CNAM M.Sc. in Artificial Intelligence, 2016, CNAM M.Sc. in Mathematics, 2008, CY Cergy Paris University (incomplete) Pierre-Henri Paris's research focuses on the intersection of artificial intelligence, knowledge representation, and natural language processing. His work particularly emphasizes knowledge graphs, entity linking, and data quality. He has made significant contributions to projects like YAGO 4.5, which enhances knowledge bases with cleaner, logically consistent structures, and MAFALDA, a benchmark for fallacy classification. His research often bridges theoretical foundations with practical applications, particularly in how knowledge can be effectively represented, extracted, and utilized in complex systems. His recent publications reveal a strong focus on knowledge graph enhancement, semantic representation, and natural language understanding. The work on YAGO 4.5 demonstrates his commitment to creating more robust knowledge bases, while MAFALDA shows his interest in the intersection of language understanding and logical reasoning. His research trajectory indicates a consistent exploration of how structured knowledge can be integrated with linguistic analysis to create more intelligent systems. Advising: PhD students: Simon Coumes (2022-), Chadi Helwe (2022-2024), François Amat (2022-) Master's students: Syrine El Aoud (2021), Ayoub Mountassir (2013-2015) Bachelor's students: Khalil Halloul (2013-2014) Pierre-Henri Paris is actively involved in teaching at Paris-Saclay University, where he instructs courses including Introduction to Machine Learning, Introduction to Neural Networks, Algorithms for Data Science, Databases, and Data Warehousing. His teaching reflects his research expertise, providing students with both theoretical foundations and practical applications in artificial intelligence and data science.
Thorsten Koch serves as Head of the Department of Applied Algorithmic Intelligence Methods within the Division of Mathematical Algorithmic Intelligence at Zuse Institute Berlin (ZIB). His research spans mathematical optimization, energy systems modeling, quantum computing applications, and scientometrics. Koch leads significant research projects including FAN (focusing on AI in scholarly communication), UNSEEN (energy scenarios), HPO-NAVI (research software visibility), and Multi-Energy Models for European Energy System Planning. Koch's research interests center on developing advanced optimization algorithms for complex systems, particularly in energy networks and scientific data analysis. His work bridges theoretical mathematics with practical applications in gas network optimization, wind farm design, portfolio management, and quantum computing. He has pioneered methods for large-scale mixed-integer programming, scenario generation, and the integration of machine learning with traditional optimization techniques. His recent publications demonstrate growing emphasis on quantum optimization, scientometrics, and the application of AI to scientific communication infrastructure. His publication trends reveal a strategic expansion from traditional mathematical optimization into quantum computing applications and scientific data infrastructure. Recent work shows increasing collaboration across disciplines - connecting energy systems analysis with financial modeling, integrating machine learning with optimization solvers, and applying computational methods to scientometrics. The 15 most recent articles highlight three major thrusts: quantum optimization (33%), energy systems modeling (27%), and scientific data infrastructure (40%), reflecting his leadership in both theoretical algorithm development and practical implementation for societal challenges. Koch actively contributes to research infrastructure through leadership roles in projects like KOBV (Berlin-Brandenburg Cooperative Library Network), HDC (Humanities Data Centre), and CIB (future library networks). His work on the DeepGreen initiative focuses on establishing legally secure workflows for implementing open-access components in scientific publication licensing agreements, demonstrating his commitment to open science principles and research data management.
Sean Andersson is a Professor in Mechanical Engineering and Systems Engineering at the College of Engineering, Boston University, and serves as Director of the BU Robotics Lab. His research bridges systems and control theory with applications in nanotechnology , atomic force microscopy , and robotics . His work in nanobioscience focuses on single molecule tracking and high-speed imaging in atomic force and fluorescence microscopy, leveraging control theory to enhance imaging capabilities. In robotics, he develops stochastic control methods for autonomous systems operating in complex environments, emphasizing multi-agent systems , sparsely sampled data , and symbolic control frameworks . Recent publications highlight trends in receding horizon control , persistent monitoring , neural style transfer for imaging , and stochastic policy optimization . The Andersson Lab also explores compressive sensing and optimal control for sensor networks and nanoscale fluid dynamics.
Lev Levitin is a Distinguished Professor in the Department of Electrical & Computer Engineering and Division of Systems Engineering at Boston University, with office PHO 332 and contact email levitin@bu.edu. His primary academic focus spans information theory, quantum communication, and computer network architecture. Education: PhD, USSR Academy of Sciences, Gorky University, 1969 Levitin's research integrates fundamental physics with information systems, emphasizing quantum measurement theory, bioinformatics, and the physical limits of computation. His work explores critical phenomena in network dynamics, virtual cut-through routing algorithms, and thermodynamic constraints in information processing. This interdisciplinary approach bridges theoretical physics, computer engineering, and complex systems analysis to address foundational questions in reliable computing. Analysis of his 15 most recent publications reveals two dominant research threads: (1) rigorous modeling of interconnection networks with emphasis on latency, saturation, and phase transitions in multidimensional topologies, and (2) quantum information theory investigations into physical limits of communication, energy requirements, and measurement constraints. The network studies consistently employ virtual cut-through routing as a core methodology, while quantum works establish fundamental bounds on information retrieval and computational speed. Scientific Awards: Life Fellow, IEEE Member, International Academy of Informatization Levitin leads the Reliable Computing Laboratory at Boston University, teaching foundational and advanced courses including Introduction to Engineering, Logic Design, Probability Theory, and specialized graduate courses in Information Theory and Discrete Mathematics. His educational contributions span undergraduate instruction through doctoral supervision, though specific student names and current grant funding details are not documented in the provided materials.
Yassine Ghannane is a Research Fellow at the Department of Computer Science , University of Copenhagen , specializing in Algorithms and Complexity . University: University of Copenhagen Department: Department of Computer Science Research Focus: Theoretical computer science, permutation-based evolutionary algorithms, computational complexity His recent work includes runtime analysis and theory development for permutation-based evolutionary algorithms, as well as module-based neural network mapping heuristics. Publications span 2022–2024 with interdisciplinary applications in machine learning and optimization. Contact: yagh@di.ku.dk | Office: Universitetsparken 1, 2100 København Ø, Denmark
Christian Igel is a Professor at the Department of Computer Science, University of Copenhagen, and serves as director of the SCIENCE AI Centre . He is also a co-lead of the Pioneer Centre for Artificial Intelligence in Denmark. His academic journey includes a Doctoral degree from Bielefeld University (2002) and a Habilitation degree from Ruhr-University Bochum (2010). Igel is a Juniorprofessor (2002–2010) and has held editorial roles at journals like KI - Künstliche Intelligenz and Artificial Intelligence Journal . Doctoral degree: Faculty of Technology, Bielefeld University, Germany (2002) Habilitation degree: Department of Electrical Engineering and Information Sciences, Ruhr-University Bochum, Germany (2010) His research spans Machine Learning , focusing on Support Vector Machines , Evolution Strategies , Reinforcement Learning , Deep Neural Networks , and PAC-Bayesian Analysis . He applies these methods to Environmental Monitoring , Medical Diagnostics , and Climate Research . Recent publications highlight work on adversarial machine learning , environmentally sustainable AI , and tree resource mapping using deep learning. His scientific awards include being a ELLIS Fellow . Igel’s software tools like Shark , woody , and Multi-Planar UNet are widely used in research and industry. Notable grants and collaborations involve projects with European Lab for Learning and Intelligent Systems (ELLIS) , SCIENCE AI Centre , and international teams in Denmark , Germany , and France . His lab leadership emphasizes open-source frameworks and reproducible research. Editorial Roles: German Journal on Artificial Intelligence , Evolutionary Computation Journal , Artificial Intelligence Journal Software Projects: Shark , woody , Multi-Planar UNet , U-Time Collaborations: SCIENCE AI Centre , Pioneer Centre for Artificial Intelligence , European Lab for Learning and Intelligent Systems
Professor Tony Shardlow is affiliated with the Department of Mathematical Sciences at the University of Bath , UK. His research spans Stochastic Differential Equations , Bayesian Inverse Problems , Statistical Shape Modelling , and Numerical Analysis , with applications in data science, medical imaging, and computational physics. Labs/Teams : IMI (Institute for Mathematical Innovation), Prob-L@b (Probability Laboratory at Bath), SAMBa (EPSRC Centre for Doctoral Training in Statistical Applied Mathematics). Recent Research Trends : Focus on geometric shape analysis using flow fields, stochastic PDEs for particle dynamics, and Bayesian inference techniques in industrial and medical contexts. Collaborative work bridges computational mathematics with applications in hip dysplasia assessment and pesticide delivery systems. Advising : Supervised Fengpei Wang's PhD thesis on dimension reduction and Sinkhorn algorithms. Collaborates with researchers like N. D. F. Campbell and C. Poon. Teaching : Offers MA30170 - Numerical Solution of Elliptic PDEs.
Yang P. Liu is an Assistant Professor in the Computer Science Department at Carnegie Mellon University's School of Computer Science. Previously, he was a Postdoctoral Member at the Institute for Advanced Study and earned his PhD from Stanford University under the supervision of Aaron Sidford. He completed his undergraduate studies at MIT, graduating in May 2018. His educational background includes: PhD in Computer Science, Stanford University (Advisor: Aaron Sidford) Bachelor's degree, Massachusetts Institute of Technology (graduated May 2018) Dr. Liu's research spans the intersection of mathematics and computer science, with particular focus on graph algorithms , optimization , high-dimensional geometry , and additive combinatorics . His work often develops novel algorithmic techniques that bridge theoretical insights with practical applications. He has made significant contributions to areas such as convex optimization, linear programming, and combinatorial problems. His teaching includes courses like "A Principled Approach to Optimization" (CS 15-759), which covers rigorous treatments of convex optimization topics including gradient descent, interior point methods, linear regression, linear programming, and sparsification. His extensive publication record in top-tier conferences (FOCS, STOC, SODA) demonstrates a consistent focus on developing almost-linear time algorithms for fundamental graph problems, optimization techniques, and combinatorial theorems. Recent work shows increasing emphasis on combinatorial lines, corners theorem, and k-CSP approximability, while maintaining strong connections to optimization theory and graph algorithms. Dr. Liu has received notable recognition for his work: National Defense Science and Engineering Graduate (NDSEG) Fellowship (2018-2021) Google PhD Fellowship (2022-2023) Best Paper award at FOCS 2022 for "Maximum Flow and Minimum-Cost Flow in Almost Linear Time" Best Student Paper at STOC 2021 for "Discrepancy Minimization via a Self-Balancing Walk" His research has been supported by prestigious fellowships including the NDSEG Fellowship and Google PhD Fellowship. His work on graph algorithms, optimization, and combinatorics involves collaborations with researchers across theoretical computer science and mathematics. His publications often involve co-authors from multiple institutions, suggesting active research collaborations across the field. Dr. Liu maintains an active research program with a focus on developing efficient algorithms for fundamental computational problems. His recent work continues to push the boundaries of what's computationally feasible in graph algorithms, optimization, and combinatorial mathematics, with particular emphasis on achieving almost-linear time complexity for challenging problems.
Stefano Grivet-Talocia is a Full Professor at the Department of Electronics and Telecommunications at the Polytechnic University of Turin, where he also serves as Director of the Doctoral School and President of the Doctoral School Council. He is a member of the Interdepartmental Center SmartData@PoliTO - Big Data and Data Science Laboratory, the University Committee for Research, Technology Transfer and Services to the Territory, and the Commission for the Promotion of Library, Archive and Museum Heritage. His academic career spans over two decades at Politecnico di Torino, where he has established himself as a leading researcher in electromagnetic modeling and signal integrity. Grivet-Talocia earned his Laurea degree (summa cum laude) in Electronic Engineering in 1994 and his Ph.D. in Electronic and Communication Engineering in 1998, both from the Polytechnic University of Turin. Between 1994 and 1996, he conducted research at NASA/Goddard Space Flight Center in Greenbelt, Maryland. His educational background laid the foundation for his expertise in electromagnetic modeling, wavelet analysis, and signal processing. His research focuses on behavioral modeling, electromagnetic compatibility, macromodeling, model order reduction, numerical modeling, passivity, power integrity, signal integrity, transmission lines, and wavelets . Grivet-Talocia is particularly renowned for his work on passive macromodeling of interconnect structures, development of the TOPLine technique for transmission line simulation, and pioneering contributions to passivity enforcement algorithms. He has co-authored the first book entirely dedicated to Macromodeling (2016) and developed innovative approaches to waveform relaxation and wavelet-based signal processing. His recent publications (2024-2025) demonstrate continued leadership in model order reduction, with significant contributions to data-driven modeling of linear and nonlinear systems, power integrity analysis, and electromagnetic compatibility. His work spans both theoretical advances in numerical methods and practical applications in circuit design, with strong industry relevance particularly for semiconductor and electronic design automation companies. IEEE Fellow (2018-present) Three Intel SRS Grants (2022-2024) Three IBM SUR Grant Awards (2007-2009) Best Associate Editor Award - IEEE Transactions on Components, Packaging and Manufacturing Technology (2020) Multiple Best Conference Paper Awards (2006-2020) URSI Young Scientist Awards (1999) Ranked among the "top 2% worldwide researchers" (Stanford) since 2019 Grivet-Talocia actively supervises doctoral students including Michele Cusano, Sara Paknezhad Panahi, Antonio Carlucci, and Kun Zhao. He has secured numerous research grants from competitive national calls (PRIN) and commercial contracts with industry partners including Intel, IBM, Nokia, Hitachi, Infineon, and Cadence. His technology transfer activities include co-founding the spin-off IdemWorks (2007-2016), which was acquired by CST in 2016. He also developed the autoCircuits web service for automated circuit problem generation, widely used in electrical engineering education. He leads the EMC Group (Electromagnetic Compatibility) at DET and has been instrumental in establishing the Compact Dynamical Modeling research area. His work has practical applications in high-speed electronics design, with algorithms embedded in commercial tools like IBM PowerSPICE. Grivet-Talocia maintains strong industry connections through his research projects and serves as Associate Editor for IEEE Transactions on Components, Packaging and Manufacturing Technology.
Byron Boots is the Amazon Professor of Machine Learning in the Paul G. Allen School of Computer Science and Engineering at the University of Washington, where he directs the UW Robot Learning Laboratory. He also serves as a Principal Research Scientist in the Seattle Robotics Lab at NVIDIA Research and co-chairs the IEEE Robotics and Automation Society Technical Committee on Robot Learning. Dr. Boots received his Ph.D. from the Machine Learning Department in the School of Computer Science at Carnegie Mellon University, where he was a member of the Sense, Learn, Act (SELECT) Lab co-directed by Carlos Guestrin and his advisor Geoff Gordon. Prior to joining the University of Washington faculty, he was an Assistant Professor in the School of Interactive Computing within the College of Computing at Georgia Tech, and before that, he completed a post-doc in the Robotics and State Estimation Lab directed by Dieter Fox at the University of Washington. Professor Boots' research focuses on the intersection of machine learning, artificial intelligence, and robotics, with particular emphasis on developing theory and systems that tightly integrate perception, learning, and control. His work spans computer vision, state estimation, localization and mapping, high-speed navigation, motion planning, and robotic manipulation. His group develops algorithms drawing from deep learning and neural networks, nonparametric statistics, graphical models, nonconvex optimization, quantum physics, online learning, reinforcement learning, and optimal control. The research demonstrates a strong theoretical foundation while maintaining practical relevance to real-world robotic systems. His recent publications reveal a clear trend toward integrating advanced machine learning techniques with robotics, particularly in model predictive control, motion planning, and learning-based approaches to robot control. His work shows increasing focus on developing theoretically grounded methods that can handle the complex, nonlinear dynamics of real-world robotic systems while maintaining computational efficiency. The publications span top venues including ICRA, CoRL, IROS, and NeurIPS, demonstrating broad impact across multiple subfields of robotics and AI. Finalist for Best Systems Paper at Conference on Robot Learning (CoRL-2021) Multiple papers selected for oral presentations at top robotics conferences Work recognized for theoretical contributions and practical applications in robot learning As director of the UW Robot Learning Laboratory, Boots leads a vibrant research group focused on fundamental and applied research in robot learning. The lab maintains strong collaborations with NVIDIA Research and has produced numerous high-impact publications that bridge theory and practice. Professor Boots teaches courses in autonomous robotics, machine learning, and reinforcement learning, contributing to both undergraduate and graduate education at the University of Washington.
Talia Ringer is an Assistant Professor in the Department of Computer Science at the University of Illinois, where she is a member of the PL/FM/SE (Programming Languages/Formal Methods/Software Engineering) research group. She leads the Illinois Theorem Provers (ITP) lab, which focuses on advancing proof engineering technologies to make formal verification accessible to programmers of all skill levels across all domains. Research Interests Dr. Ringer's research spans multiple aspects of proof engineering with a strong focus on integrating techniques from dependent type theory, program transformations, and neural proof synthesis to solve real-world verification challenges. Her work addresses how to build systems that allow programmers to prove the absence of costly or dangerous bugs in software. She is particularly interested in proof repair, machine learning for proofs, and developing new methodologies that can drive the creation of large, secure, and robust verified software and hardware systems. Research Trends Dr. Ringer's recent publications demonstrate a strong shift toward integrating machine learning with formal verification, particularly in proof repair and synthesis. Her work explores how large language models can assist with theorem proving, how reinforcement learning can automate verification processes, and how to make proof engineering more practical for real humans. Many publications involve collaborations with students and researchers from multiple institutions, reflecting her commitment to interdisciplinary research. Awards and Recognition Distinguished Paper Award at ESEC/FSE 2023 for "Baldur: Whole-Proof Generation and Repair with Large Language Models" ACM SIGPLAN Distinguished Service Award in 2023 Mentoring and Service Dr. Ringer is a dedicated mentor who has advised numerous undergraduate and graduate students. She is the founder and president of the Computing Connections Fellowship, which provides transitional funding for computer science PhD students needing to escape unhealthy environments. She is also the founder and previous chair of the SIGPLAN Long-Term Mentoring Committee (SIGPLAN-M), which connects more than 200 mentors and 300 mentees across more than 44 countries. Her service work was formally recognized with the 2023 ACM SIGPLAN Distinguished Service Award. Laboratory and Collaborations Dr. Ringer leads the Illinois Theorem Provers (ITP) lab with current members including postdocs, PhD students, masters students, and undergraduates. She collaborates extensively with researchers at the University of Washington, UMass Amherst, Google Research, Galois, and other institutions on various proof engineering projects.
Professor Line Roald is a faculty member in the Department of Electrical and Computer Engineering at the University of Wisconsin-Madison. Her research focuses on power system optimization, renewable energy integration, grid resilience, and wildfire risk mitigation using stochastic optimization and data-driven methods. Education : PhD (2016), MS (2012), BS (2009) from ETH Zurich Key Research Areas : Power Systems Optimization, Renewable Energy Integration, Wildfire Risk Mitigation, Stochastic Programming, Grid Decarbonization Her work addresses critical challenges in sustainable energy systems, including balancing grid efficiency and risk, optimizing electrolyzer scheduling for flexibility, and predicting cascading blackout severity using graph neural networks. She has developed frameworks for carbon intensity comparison and wildfire risk assessment in power systems. Scientific Awards : 2024 Inclusion, Equity and Diversity in Engineering Award 2024 Vilas Faculty Early Career Investigator Award 2023 IEEE Power Tech Best Student Paper Award 2021 NSF CAREER Award 2019 MTLE Fellow Professor Roald mentors graduate students and teaches courses including Introduction to Optimization and On-Line Control of Power Systems . Her publications highlight innovative approaches to grid security, carbon-efficient energy markets, and climate resilience in infrastructure systems.
Dr. Zhibao Mian is a Lecturer in the School of Computer Science at the University of Hull, UK, and previously held an Associate Professor position at Northwest Normal University. He specializes in trustworthy AI, machine learning, and intelligent maintenance systems. His research integrates AI with IoT, blockchain, and digital twins in Industry 4.0/5.0 contexts. He leads projects on predictive maintenance for offshore wind turbines and AI-driven sustainable energy solutions. Dr. Mian holds a PhD from the University of Hull and an MSc from the University of Nottingham. Research interests include AI ethics, model-based safety analysis, and RCM. He has secured grants such as the CPHC-funded study on AI in software education and oversees multiple PhD scholarships. Notable roles include Editorial Board member of the American Journal of Artificial Intelligence and Reviewer for high-impact journals/conferences like JSS and IEEE. He is a Senior Fellow of the Higher Education Academy and received the Royal Academy of Engineering's 2024 Exceptional Talent designation. Recent publications (2023-2025) focus on ordinal networks, outlier detection, Belt and Road trade analysis, and carbon emissions modeling. He actively advises PhD students on topics like UAV-based anomaly detection and predictive maintenance frameworks.
Dr. Liang Yu is an Adjunct Professor at Washington State University (WSU) within the College of Agricultural, Human, and Natural Resource Sciences (CAHNRS), Department of Biological Systems Engineering. He holds roles as a Guest Editor for the Journal of Fermentation (Energy Converter-Anaerobic Digestion), Faculty Senator for Non-Tenure Track Faculty, Anti-Hazing Advisory Committee member, and Review Committee member for undergraduate research scholarships at WSU. His research focuses on biorefinery-based industrial symbiosis and the circular economy, employing multi-scale mathematical modeling (molecular simulation, CFD, bioprocess control, machine learning) to optimize anaerobic digestion systems. His work aims to convert organic waste (animal manure, food waste) into renewable natural gas, fertilizers, and bioproducts. He has secured funding from the DOE and USDA, with over 60 peer-reviewed publications and five patents. Key research themes include hydrothermal pretreatment, ammonia recovery, microbial community dynamics, and techno-economic analysis. Recent articles emphasize anaerobic digestion innovation, biodesulfurization, and biohydrogen production. His contributions bridge environmental engineering, biotechnology, and sustainable systems design. Dr. Yu’s grants and patents reflect a commitment to applied sustainability solutions, with projects addressing agricultural waste valorization and energy recovery. Collaborative efforts drive his work, integrating computational modeling with experimental validation for scalable bioenergy systems.
