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

Sofie Haesaertمشاهده پروفایل

استادیار

• Cyber-Physical Systems
• Control Theory
• Formal Verification
• +۳ مورد دیگر

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.

• Reinforcement Learning
• Bandit Algorithms
• Learning Theory
• +۴ مورد دیگر

Claire Vernade is a Group Leader at the University of Tübingen within the Cluster of Excellence Machine Learning for Science. She holds an Emmy Noether award (2022) and an ERC Starting Grant (2024) for her projects FoLiReL and ConSequentIAL , focusing on theoretical reinforcement learning and non-stationary environments. Education: PhD from Telecom ParisTech (2017) Post-doctoral researcher at University of Magdeburg (2018) Her research bridges sequential decision making, bandit problems, and reinforcement learning theory. Recent work explores lifelong learning, distributional RL, and game-theoretic approaches to PCA, emphasizing mathematical rigor and algorithmic innovation. Recent publications highlight trends in non-stationary RL , continual learning , and bandit algorithms with complex feedback structures. Key subfields include meta-learning, adaptive control, and theoretical guarantees in dynamic programming. Scientific Awards: Emmy Noether Award (2022) ERC Starting Grant (2024) Outstanding Paper Award & Oral Presentation, ICLR (2021) She mentors PhD and master's students in theoretical machine learning, with current advisees including Nicolas Nguyen, Onno Eberhard, and Ziyad Sheebaelhamd. Her lab actively recruits candidates in bandit algorithms and RL theory through the IMPRS-IS and ELLIS doctoral programs. Claire co-leads diversity initiatives like Tübingen Women in Machine Learning and Women in Learning Theory, advocating for inclusivity in AI research. She has organized workshops at ICML and EWRL, and contributed to union activism in the tech industry.

Luis A. Ricardez-Sandovalمشاهده پروفایل

دانشیار

• Process Systems Engineering
• Multiscale Modelling
• Computer-aided Catalyst and Materials Design
• +۷ مورد دیگر

Luis A. Ricardez-Sandoval is an Associate Professor in the Department of Chemical Engineering at the University of Waterloo and holds a Tier II Canada Research Chair in Multiscale Modelling and Process Systems. His research group develops advanced computational tools for optimizing chemical processes across multiple scales. Doctorate: Chemical Engineering, University of Waterloo (2008) MASc: Chemical Engineering, Instituto Tecnologico de Celaya (2000) BASc: Chemical Engineering, Instituto Tecnologico de Orizaba (1997) The research group focuses on multiscale modelling and process systems engineering , particularly for CO2 capture , energy systems , and heterogeneous catalysis . Their work combines advanced mathematics, machine learning , and uncertainty analysis to optimize chemical processes before physical implementation. Recent publications emphasize dynamic system optimization under uncertainty, multiscale simulation , and CO2 conversion technologies . Key methodologies include probabilistic uncertainty quantification and economic predictive control . Scientific Awards : 1997: First Place, XII National Creativity Contest 1998: Best Student Award, Instituto Tecnologico de Orizaba 1999: Third Place, XIV National Creativity Contest 2000: J.M. Smith Award for Best MASc Student He has collaborated with international institutions like CONACyT-Mexico, China Scholarship Council, and Universidad de Los Andes. His teaching includes graduate courses in process control, optimization, and computer-aided design.

Jack Bakerمشاهده پروفایل

استاد

• Disaster Risk and Resilience
• Earthquake Engineering
• Seismic Hazard Analysis
• +۴ مورد دیگر

Jack Baker is the William Alden Campbell and Martha Campbell Professor of Engineering and Associate Dean for Faculty Affairs in the Stanford Doerr School of Sustainability at Stanford University. He is a Professor of Civil & Environmental Engineering with expertise in probabilistic and statistical tools for quantifying and managing disaster risk and resilience. His work has significantly influenced building codes, performance-based engineering guidelines, and catastrophe risk models. Dr. Baker's educational background includes: Ph.D. in Civil & Environmental Engineering from Stanford University (2005) M.A. in Statistics from Stanford University (2004) M.S. in Civil & Environmental Engineering from Stanford University (2002) B.A. in Mathematics/Physics from Whitman College (2000) His research focuses on disaster risk and resilience, particularly in earthquake engineering and seismic hazard analysis. Baker uses probabilistic and statistical approaches to analyze risk in spatially distributed systems, characterize earthquake ground motions, and simulate post-disaster recovery processes. His work bridges theoretical frameworks with practical applications in building codes and risk management strategies. He has made significant contributions to understanding the relationship between ground motion characteristics and structural response, while also expanding into climate-related hazards like atmospheric rivers and their compound effects. His recent publications demonstrate a growing focus on interdisciplinary research that connects engineering with socioeconomic factors in disaster contexts. There's a clear trend toward integrating machine learning techniques with traditional engineering approaches, particularly in modeling household displacement, economic recovery, and flood damage prediction. His work increasingly addresses the human dimension of disasters, examining how physical damage translates to social impacts and recovery timelines. Dr. Baker has received numerous prestigious awards recognizing his contributions to the field: William B. Joyner Lecture Award from the Seismological Society of America and Earthquake Engineering Research Institute (2023) PROSE Awards finalist for Seismic Hazard and Risk Analysis textbook (2022) Thorpe Medal from the European Council on Computing in Construction (2022) Walter L. Huber Civil Engineering Research Prize from the American Society of Civil Engineers (2018) CAREER Award from the National Science Foundation (2010) As an educator and mentor, Baker advises numerous doctoral and master's students while serving as Associate Dean for Faculty Affairs. His research group has secured significant funding for projects related to seismic risk, disaster recovery modeling, and infrastructure resilience. He has directed major initiatives like the Stanford Urban Resilience Initiative and co-founded the Haselton Baker Risk Group, demonstrating strong leadership in translating research into practical applications. Dr. Baker leads the Baker Research Group, which focuses on probabilistic approaches to disaster risk assessment and management. The group maintains active collaborations with government agencies, industry partners, and international research institutions to advance the state of knowledge in earthquake engineering and broader disaster resilience fields. Their work often involves developing innovative computational tools and frameworks that are made publicly available through GitHub repositories.

• Hyperdimensional Computing
• Neuromorphic Hardware
• In-Memory Computing
• +۳ مورد دیگر

Paul R. Genssler is a Dr.-Ing. researcher at the Chair of AI Processor Design (AI-Pro) within the Technical University of Munich (TUM), actively advancing hardware solutions for artificial intelligence under Prof. Hussam Amrouch. His work bridges computer engineering and emerging technologies, focusing on overcoming fundamental limitations in conventional computing architectures through brain-inspired paradigms. His research spans critical domains in next-generation computing: Hyperdimensional Computing for robust pattern recognition and bioinformatics applications Neuromorphic and In-Memory Computing architectures for energy efficiency Reliability engineering for emerging memory technologies (FeFET, etc.) Quantum computing support systems including cryogenic embedded electronics Machine learning-driven transistor aging prediction and mitigation Analysis of his 15 most recent publications (2023-2024) reveals a dominant trend toward hyperdimensional computing as a unifying framework for addressing reliability challenges in emerging technologies. His work consistently integrates in-memory computing techniques to bypass von Neumann bottlenecks while targeting real-world applications like genome matching and unsupervised learning. A significant portion focuses on error-resilient implementations for unreliable nanoscale devices, demonstrating exceptional cross-stack expertise from transistor physics to algorithm design. As a core member of TUM's AI Processor Design group affiliated with the Munich Institute of Robotics and Machine Intelligence (MIRMI), Genssler collaborates extensively on projects spanning cryogenic quantum control systems, FPGA-based AI resilience, and monolithic 3D integration. The team operates at the intersection of semiconductor physics, computer architecture, and machine learning, with strong industry connections evident through publications at DATE, ASP-DAC, and ICCAD.

Mohsen Heidariمشاهده پروفایل

استادیار

• Quantum Computing
• Quantum Algorithms
• Theoretical Machine Learning
• +۳ مورد دیگر

Mohsen Heidari is an Assistant Professor in the Department of Computer Science at Indiana University, Bloomington. He is affiliated with the IU Quantum Science and Engineering Center (QSEc) and the NSF Center for Science of Information (CSoI). He previously held positions as a Visiting Assistant Professor at Purdue University and as a Postdoctoral Research Associate at CSoI. Ph.D. in Electrical Engineering (2019) and M.Sc. in Applied Mathematics (2017) from the University of Michigan His research focuses span quantum computing, theoretical machine learning, and information theory. Key themes include: Quantum algorithm design and sample complexity Fourier-based learning frameworks Quantum-classical duality in learning problems Information-theoretic approaches to biological systems Article trends show a strong emphasis on quantum-classical learning intersections (6/15 papers), Fourier analysis applications (5/15), and information-theoretic foundations (12/15). Notable venues include NeurIPS, IEEE Transactions, and ISIT. He directs research involving: Quantum Neural Network development Quantum measurement simulation Quantum data compression techniques Quantum algorithm implementation constraints

Michael Molloyمشاهده پروفایل

استاد

• Graph Theory
• Probabilistic Method
• Random Graphs
• +۲ مورد دیگر

Michael Molloy is a Professor in the Department of Computer Science at the University of Toronto, with a cross-appointment to the Department of Computer and Mathematical Sciences at the University of Toronto Scarborough (UTSC). He teaches courses in Discrete Mathematics and the Probabilistic Method, including CSC/MAT A67 and CSC2427/MAT1500 . Research Focus: Graph Theory, Probabilistic Methods, Random Graphs, Constraint Satisfaction Problems, and Markov Chain analysis. His work includes foundational contributions to graph coloring, such as adaptable/conflict coloring and correspondence coloring, and exploring phase transitions in random graphs. He has supervised numerous graduate students, including Lora Hrisch, Jurgen Aliaj, and Hamed Hatami, advancing combinatorial and algorithmic research. Recent publications analyze random graph processes, the freezing threshold for k-colorings, and the resolution complexity of constraint satisfaction problems. These studies intersect theoretical computer science, combinatorics, and probabilistic modeling, often revealing deep structural insights through rigorous mathematical proofs.

Fabrizio Lombardiمشاهده پروفایل

استاد

• Fault-tolerant computing
• VLSI CAD
• Testing
• +۷ مورد دیگر

Fabrizio Lombardi is the ITC Endowed Professor at Northeastern University's Department of Electrical and Computer Engineering, part of the College of Engineering. He previously held faculty positions at Texas Tech University, University of Colorado-Boulder, and Texas A&M University. He earned his B.Sc. from the University of Essex (1977), M.Sc. and Ph.D. from the University of London (1982). His research focuses on fault-tolerant computing, VLSI CAD, quantum computing, and configurable computing systems. He has led major projects like the NSF-funded Neural-Network-based Stochastic Computing Architectures for Machine Learning . He holds leadership roles including President of the IEEE Nanotechnology Council (2022-2023), IEEE Computer Society Vice President (2021), and IEEE PSPB member. His 200+ publications span IEEE Transactions on Computers, Nanotechnology, and Design & Test. Awards include IEEE Fellow, Søren Buus Outstanding Research Award, and multiple research fellowships. His work bridges theory and application, emphasizing defect-tolerant nanosystems and energy-efficient computing hardware. Recent innovations include approximate computing methodologies and secure PUF-based hardware designs.

Tommy Löfstedtمشاهده پروفایل

دانشیار

• Machine Learning
• Computer Vision
• Medical Image Analysis
• +۴ مورد دیگر

Tommy Löfstedt is an Associate Professor at Umeå University , affiliated with the Department of Computing Science and the Department of Mathematics and Mathematical Statistics. His research focuses on machine learning , computer vision , and medical image analysis , with applications in life sciences, radiation therapy, and biomedical imaging. He leads multiple research projects, including AI-driven delineation in radiation therapy, quantitative MRI for radiotherapy, and machine learning for plant nutrient uptake. Current research emphasizes structured regularization methods to improve model interpretability and robustness. Key applications include medical image segmentation , Alzheimer's classification , and uncertainty estimation in MRI . Recent publications highlight his work on morphological regularization , adversarial attack mitigation , and multi-task learning in medical imaging contexts. His projects span 2022–2026 with funding for pediatric oncology automation and gynecological cancer staging. Affiliated with both computing and mathematical departments, he bridges algorithm development with applied mathematical frameworks in medical and life science domains.

Martin Wainwrightمشاهده پروفایل

استاد

• High-dimensional statistics
• Information theory
• Statistical machine learning
• +۳ مورد دیگر

Martin Wainwright is a Professor at the University of California at Berkeley with joint appointments in the Department of Statistics and the Department of Electrical Engineering and Computer Sciences (EECS). His research spans high-dimensional statistics , information theory , statistical machine learning , and optimization theory . He has made significant contributions to understanding computational and statistical trade-offs in high-dimensional settings, as well as developing advanced message-passing algorithms for graphical models. His educational background includes a Bachelor's degree in Mathematics from the University of Waterloo and a Ph.D. in EECS from MIT . His work has been recognized with prestigious awards such as the COPSS Presidents' Award (2014) , IEEE Joint Paper Award (2012) , and Sloan Research Fellowship (2005) . He has advised numerous prominent researchers, including Nihar Shah , John Duchi , and Yuchen Zhang . Publications by Wainwright reflect trends in machine learning , high-dimensional data analysis , and graphical model inference . Notable works include advancements in Markov Chain Monte Carlo algorithms , pairwise comparison models , and distributed computation methods . He has also contributed extensively to signal processing and LDPC codes . COPSS Presidents' Award (2014) IEEE Joint Paper Award (2012) Institute of Mathematical Statistics Fellow (2011) NSF CAREER Award (2006) Okawa Research Grant (2005) Sloan Research Fellow (2005)

• Bayesian Statistics
• Nonparametric Methods
• Machine Learning
• +۷ مورد دیگر

David B. Dunson is the Arts and Sciences Distinguished Professor of Statistical Science at Duke University, with a joint appointment in the Department of Mathematics. He is also a Faculty Network Member of the Duke Institute for Brain Sciences. His research bridges theoretical statistics with practical applications across multiple scientific domains, focusing on developing new tools for probabilistic learning from complex data. Dr. Dunson earned his Ph.D. from Emory University in 1997 and his B.S. from Pennsylvania State University in 1994. Dr. Dunson's research focuses on developing statistical methods directly motivated by challenging applications in ecology/biodiversity, neuroscience, environmental health, and criminal justice/fairness. His methodological work spans models for low-dimensional structure in data (latent factors, clustering, geometric and manifold learning), flexible/nonparametric models (neural networks, Gaussian/spatial processes), Bayesian inference frameworks, and models for "object data" (trees, networks, images, spatial processes). His approach emphasizes creating practical tools that scientists and decision makers can use routinely. Dunson's recent publications demonstrate a strong focus on advancing Bayesian methodology for complex data structures across applications in biodiversity mapping, brain connectomics, environmental health, and infectious disease modeling. His work shows consistent innovation in nonparametric Bayesian methods, computational efficiency, and the handling of high-dimensional and structured data, always with an eye toward solving real-world scientific challenges. Dr. Dunson has received numerous prestigious awards including: IMS Medallion Lecturer (2019) Mitchell Prize from the International Society of Bayesian Analysis (2018) Carnegie Centenary Professorship (2018) DeGroot Prize (2017) COPSS Award: President's Award (2010) Fellow of the Institute of Mathematical Statistics (2010) His extensive publication record with numerous co-authors suggests an active research group mentoring graduate students and postdocs. His research on projects like biodiversity mapping (funded by a European Research Council Grant) and brain connectomics indicates well-funded research programs addressing significant scientific challenges across multiple domains. Dr. Dunson's work involves collaborations across multiple labs and teams, particularly through his affiliation with the Duke Institute for Brain Sciences. His research on biodiversity mapping, brain connectomics, and environmental health suggests involvement in large, interdisciplinary teams addressing complex scientific questions that require sophisticated statistical approaches.

Bo Anمشاهده پروفایل

استاد

• Artificial Intelligence
• Multiagent Systems
• Computational Game Theory
• +۹ مورد دیگر

Bo An is a President's Chair Professor and Head of the Division of Artificial Intelligence at the College of Computing and Data Science , Nanyang Technological University, Singapore . He also holds a courtesy appointment as Professor at the School of Physical & Mathematical Sciences and serves as Director of the Centre of AI-for-X. Previously, he was a Nanyang Assistant Professor (2014-2018), Associate Professor at the Chinese Academy of Sciences (2012-2013), and Postdoctoral Researcher at the University of Southern California (2010-2012). His academic journey began with B.Sc. and M.Sc. degrees from Chongqing University, followed by a Ph.D. in Computer Science from the University of Massachusetts, Amherst (advised by Victor Lesser). Research Interests : Artificial Intelligence Multiagent Systems Computational Game Theory Reinforcement Learning Automated Negotiation Optimization Research Impact : Applications in infrastructure security (deployed by US Coast Guard and Federal Air Marshals), e-commerce, sensor networks, and financial technology. Over 150 publications in top venues like AAMAS, IJCAI, AAAI, ICML, NeurIPS, KDD, and ACM/IEEE Transactions. Scientific Recognition : 2010 IFAAMAS Victor Lesser Distinguished Dissertation Award 2012 INFORMS Wagner Prize 2018 & 2022 Nanyang Research Awards 2017 Microsoft Collaborative AI Challenge IEEE Intelligent Systems 'AI's 10 to Watch' (2018) Leadership Roles : Editor-in-Chief of IEEE Intelligent Systems, Associate Editor for AIJ, JAAMAS, and ACM Transactions. Served as General Co-Chair for AAMAS'23 and Program Chair for IJCAI'27.

Akash Srivastavaمشاهده پروفایل

پژوهشگر

• Generative Models
• Neuro-Symbolic AI
• Reinforcement Learning
• +۴ مورد دیگر

Akash Srivastava is a Research Scientist and Principal Investigator (PI) at the MIT-IBM Watson AI Lab in Cambridge, MA, and Chief Architect of Large Language Model Alignment at IBM Research. His work focuses on generative modeling , Bayesian inference , and machine learning for constrained engineering design . He previously conducted PhD research at the University of Edinburgh under Dr. Charles Sutton and Dr. Michael U. Gutmann on variational inference for generative models using deep learning. His research spans Neuro-Symbolic AI , Language Model Alignment , and Synthetic Data Generation , with applications in 3D modeling , urban logistics , and material science . Recent publications highlight advancements in diffusion models , continual learning , and privacy-preserving data synthesis . As a PI, he collaborates with MIT faculty like Prof. Faez Ahmed and Prof. Rafael Gomez-Bombarelli on projects such as generative modeling for mechanical systems , synthetic data in decision-making , and greener delivery networks . He has received funding through a DARPA grant for machine common sense research.

Sameer Mulaniمشاهده پروفایل

دانشیار

• Uncertainty Quantification
• Random Vibrations
• Multi-disciplinary Optimization
• +۱۲ مورد دیگر

Dr. Sameer Mulani is an Associate Professor, Associate Department Head, and Director of Graduate Programs in the Department of Aerospace Engineering and Mechanics at the University of Alabama's College of Engineering. He leads the Stochastic Mechanics and Multi-Disciplinary Optimization Laboratory (SMO Lab) and is an integral part of the Remote Sensing Center and Alabama Materials Institute. Dr. Mulani's research spans uncertainty quantification, random vibrations, multi-disciplinary optimization, and composite structures' multi-scale analysis and design. His work combines computational methods with machine learning to develop innovative solutions for aerospace engineering challenges. He has made significant contributions to self-healing composite materials, uncertainty quantification techniques, and optimization of composite structures. His research group has published extensively on topics including polynomial chaos expansion for uncertainty quantification, self-healing composites, stochastic buckling analysis, and machine learning applications in structural mechanics. The publications demonstrate a strong trend toward integrating probabilistic methods with traditional engineering analysis to improve reliability and safety of aerospace structures. AIAA Associate Fellow, Class of 2025 2025 Department of the Air Force Summer Faculty Fellowship Program 2024 Department of the Air Force Summer Faculty Fellowship Program MSC Software Contest Winner (2011) Night on the Town: General Electric Award (2007) DAAD Fellowship (1999-2000) Dr. Mulani has advised numerous graduate students who have gone on to successful careers at institutions including Los Alamos National Laboratory, Cirrus Aircraft, L3Harris, and Lockheed-Martin. His lab collaborates with various research centers including the Remote Sensing Center where they work on antenna design, manufacturing, and integration for aircraft systems. The SMO Lab utilizes advanced software including MSC NASTRAN/PATRAN, ANSYS Mechanical/FLUENT, ABAQUS, SOLIDWORKS, and CATIA for their simulations and analyses.

Matteo Fasioloمشاهده پروفایل

مدرس ارشد

• Generalized Additive Models
• Electricity Demand Forecasting
• Covariance Matrix Modeling
• +۳ مورد دیگر

Dr. Matteo Fasiolo is a Senior Lecturer in the School of Mathematics at the University of Bristol, specializing in Statistical Science. His research focuses on advanced statistical modeling with significant applications in electricity demand forecasting and medical statistics, leveraging Generalized Additive Models (GAMs) as a core methodology. His primary research interests span: Generalized Additive Models and their extensions for complex data structures Covariance matrix modeling for high-dimensional energy forecasting Probabilistic forecasting techniques for uncertainty quantification Statistical machine learning including variational inference and contrastive learning Applications in electricity grid management and medical diagnostics Recent publications (2023-2025) reveal a dual focus: developing scalable statistical methods for electricity net-demand prediction in Great Britain using additive covariance models, and applying distributional regression to medical challenges like kidney function decline and cardiovascular risk prediction. His work on SoftCVI demonstrates innovation in variational inference, while extensions to GAMs address both mean modeling and full distributional forecasting. Dr. Fasiolo has supervised at least one student as indicated by university records. His research outputs include 16 publications and 2 publicly available datasets, reflecting active contributions to methodological statistics and domain-specific applications in energy systems.