Find Academic Supervisors

Simon GodsillView profile

Professor

• Statistical Signal Processing
• Digital Audio Restoration
• Bayesian Computational Methods
• +5 more

Professor Simon Godsill MA PhD FIET FIEEE is a University Professor of Statistical Signal Processing in the Department of Engineering at the University of Cambridge. He heads a research team specializing in statistical signal processing, digital audio restoration, and Bayesian inference. His work addresses the processing and analysis of digital speech, audio, tracking systems, and financial datasets, with a focus on probabilistic modeling and computational methods. Research interests include statistical signal processing , degraded signal restoration , and Bayesian computational methods . Recent publications emphasize Gaussian processes, variational inference, and multi-object tracking for applications in audio enhancement and financial data analysis. He co-founded the audio remastering company CEDAR Audio Ltd in 1988. Scientific awards: Fellow of the Institution of Engineering and Technology (FIET) Fellow of the Institute of Electrical and Electronics Engineers (FIEEE) Outside academia, he enjoys singing, cricket, piano/organ playing, and running. His team at Cambridge's Engineering department focuses on robust tracking algorithms and signal enhancement techniques.

Mahdi KhodayarView profile

Assistant Professor

• Artificial Intelligence
• Machine Learning
• Deep Learning
• +4 more

Mahdi Khodayar is an Assistant Professor of Computer Science at the University of Tulsa . He holds a Ph.D. in Electrical Engineering from Southern Methodist University (2020) and M.Sc./B.S. degrees in Artificial Intelligence and Software Engineering from K.N. Toosi University of Technology (2015, 2013). His research focuses on AI and machine learning applications in power systems, transportation systems, computer vision, and spatiotemporal pattern recognition. B.Sc. in Computer Engineering (2013), K.N. Toosi University of Technology M.Sc. in Artificial Intelligence (2015), K.N. Toosi University of Technology Ph.D. in Electrical Engineering (2020), Southern Methodist University Khodayar’s research bridges deep learning with energy systems , including fault detection in power grids, renewable energy forecasting, and traffic scene understanding. His work leverages graph neural networks , reinforcement learning , and generative models for robust spatiotemporal analysis. Recent publications highlight his focus on graph-based architectures for power systems, hybrid deep reinforcement learning in energy forecasting, and unsupervised domain adaptation in remote sensing. His work integrates physics-informed modeling with probabilistic frameworks . Scientific Awards : NSF ECCS Division Funding (2022) US DOT FHWA Grant (2023) Zelimir Schmidt Award for Early Career Research (2023) Honors Student Award (2015), K.N. Toosi University Khodayar has been funded by the NSF , US Department of Transportation , and the TU Cyber Fellows program . He serves as an associate editor for IEEE Transactions on Transportation Electrification and other journals.

Alexandre Bouchard-CôtéView profile

Professor

• Computational Statistics
• Bayesian Inference
• Monte Carlo Methods
• +4 more

Alexandre Bouchard-Côté is a Professor of Statistics at the University of British Columbia (UBC), affiliated with the Department of Statistics within the Faculty of Science. His research focuses on computational statistics, Bayesian methods, and Monte Carlo techniques, with applications in evolutionary biology, cancer genomics, and computational linguistics. Education : PhD in Computer Science (with Designated Emphasis in Statistics) from UC Berkeley (2010), BSc in Mathematics and Computer Science from McGill University (2005). Affiliations : Director of the Blang probabilistic programming project and leader of the Bouncy Particle Sampler research group. Research Interests : Bouchard-Côté develops scalable Bayesian computational methods, including non-reversible Monte Carlo algorithms like the Bouncy Particle Sampler, and applies these to problems in cancer phylogenetics, evolutionary dynamics, and historical linguistics. His work emphasizes bridging theoretical foundations with practical tools for data science. Publications Trends : Recent work spans distributed sampling frameworks (e.g., Pigeons.jl), variational phylogenetic inference, and cancer clonal evolution modeling. His articles often address algorithmic scalability and interdisciplinary applications in biology and astronomy. Awards : CRM-SSC Prize in Statistics (2024) PIMS-UBC Mathematical Sciences Young Faculty Award (2018) Tweedie New Researcher Award (2016) Advising & Grants : Supervises graduate students (e.g., Son Luu, Nikola Surjanovic) and leads funded projects on distributed MCMC and cancer genomics. Collaborates with institutions like the Simons Foundation and the Canadian Statistical Sciences Institute (CANSSI). Labs/Teams : Core member of the UBC Statistical Machine Learning group, contributing to open-source tools like Blang and the Bouncy Particle Sampler implementation.

Henry MossView profile

Researcher

• Machine Learning
• Bayesian Optimization
• Theoretical Physics
• +3 more

Dr Henry Moss is a Researcher at the Department of Applied Mathematics and Theoretical Physics within the School of Physical Sciences at the University of Cambridge. His work focuses on machine learning applications in climate modeling, Bayesian optimization, and Gaussian processes, bridging computational mathematics with environmental science and chemistry. His research interests include: Bayesian optimization for environmental and chemical systems Reinforcement learning in climate modeling Gaussian processes for molecular property prediction High-throughput machine learning in scientific domains Interpretable AI for coastal flooding prediction Hybrid ML-physics modeling Dr Moss's publications highlight his contributions to federated learning for climate models, sparse Gaussian process techniques, and multi-objective optimization frameworks. These works span applications in weather prediction, chemical engineering, and oceanography. Email: hwm26@cam.ac.uk

Anna GottardView profile

Associate Professor

• Multivariate Statistical Models
• Graphical Models
• Statistical Machine Learning
• +5 more

Anna Gottard is an Associate Professor of Statistics at the University of Florence, where she leads the Department of Statistics, Computer Science, and Applications. She directs the Florence Center for Data Science (FDS) and participates in the Technical Scientific Committee of the Tuscan Center for Big Data, Data Science, and AI (CBDAI). Her research focuses on multivariate statistical models, particularly graphical models, and extends to statistical machine learning, fair models, and directional data analysis. She is an Associate Editor for the Journal of the Royal Statistical Society Series A (JRSSA) and Statistical Methods & Applications (SMA). Her recent work includes Bayesian approaches for mixed graphical models, uncertainty-aware classification trees, and methodological advancements in latent uncertainty models. Her contributions span theoretical developments and applied research in interdisciplinary areas like biostatistics and sustainability. Her research interests emphasize bridging statistical theory with practical applications, including fairness in machine learning, interpretable models, and tree-based methodologies. She has actively contributed to open-source software, notably the Mix3Trees R package for mixed-effect tree models. Her work addresses challenges in variable selection, graphical model inference, and ethical AI practices. Current projects explore Bayesian frameworks for complex data structures and methodological improvements in graphical model interpretability. Anna has advised on interdisciplinary collaborations, such as studies on GDPR compliance in biobanking and epidemiological modeling of the SARS-CoV-2 pandemic in Tuscany. She collaborates with institutions like the CBDAI to advance data science applications in regional policy and healthcare. Her research trajectory reflects a commitment to both foundational statistical theory and real-world problem-solving across diverse domains.

M. Granger MorganView profile

Professor

• Energy Systems
• Climate Change Policy
• Risk Analysis
• +5 more

M. Granger Morgan is the Hamerschlag University Professor of Engineering at Carnegie Mellon University , with appointments in the Department of Engineering and Public Policy , Department of Electrical and Computer Engineering , and H. John Heinz III College . He co-directs the NSF Center for Climate and Energy Decision Making and the Electricity Industry Center at CMU. Education: Ph.D., Applied Physics and Information Science, University of California, San Diego (1969) M.S., Astronomy and Space Science, Cornell University (1965) B.A., Physics, Harvard College (1963) His research spans science, technology, and public policy with focus areas in energy systems , climate change mitigation , electric grid resilience , and uncertainty characterization in policy analysis . Recent publications analyze hydrogen market barriers , carbon sequestration timelines , and interdependent energy infrastructure risks . Scientific leadership includes: Member, National Academy of Sciences Member, American Academy of Arts and Sciences Co-chair, NAS Report Review Committee Board member, International Risk Governance Council Foundation Advisory Board, E.ON Energy Research Center, RWTH Aachen DOE Electricity Advisory Committee member Former EPA Science Advisory Board Chair Fellow of AAAS, IEEE, and Society for Risk Analysis Contact: Office 5220 Wean Hall, Phone 412-268-2672, Email granger.morgan@andrew.cmu.edu

Kuldeep S. MeelView profile

Associate Professor

• Automated Reasoning
• Formal Methods
• Artificial Intelligence
• +6 more

Kuldeep S. Meel is the Stephen Fleming Early-Career Associate Professor at the School of Computer Science, Georgia Institute of Technology, and an Associate Professor at the University of Toronto (on leave). He previously held a NUS Presidential Young Professorship at the National University of Singapore. His research focuses on automated reasoning, aiming to enable computing systems to handle uncertain real-world environments through scalable techniques integrating randomized algorithms, statistical inference, formal methods, distribution testing, and software engineering. Core research areas: Automated Reasoning, Formal Methods, Approximate Model Counting, Probabilistic Inference, Constraint Solving His research group has achieved significant recognition in both individual awards and publications. Key trends in his recent work include advancing model counting algorithms, developing frameworks for probabilistic explanations, and improving scalability in formal verification and constraint satisfaction. His tools have consistently ranked top in international competitions, demonstrating practical impact in automated reasoning. 2019 NRF Fellowship for AI 2022 ACP Early Career Researcher Award 2020 IEEE Intelligent Systems AI's 10 to Watch Top placements in Model Counting, SAT, and CAV competitions He mentors a diverse group of PhD and Master's students and collaborates with institutions worldwide. His group's publications span premier conferences in AI, formal methods, and design automation, reflecting interdisciplinary contributions to theoretical and applied computer science.

David BindelView profile

Associate Professor

• Applied Numerical Linear Algebra
• Eigenvalue Problems
• Network Analysis
• +5 more

David Bindel is an Associate Professor in the Department of Mathematics at Cornell University, affiliated with the College of Arts and Sciences, College of Engineering, and Cornell Ann S. Bowers College of Computing and Information Science. He earned his Ph.D. in Mathematics from the University of California, Berkeley in 2006. His research focuses on applied numerical linear algebra, eigenvalue problems, and their applications in plasma physics, network analysis, and nonlinear systems. He develops methods for analyzing complex systems, including magnetic confinement in stellarators, stability of MHD systems, and community detection in networks. His work bridges theoretical foundations with practical computational tools, such as formal verification of linear algebra algorithms and scalable Gaussian process models. Bindel’s research explores the interplay between structure and computation, leveraging eigenvalue analysis to address challenges in computer vision, opinion dynamics, and engineering design. He has contributed to advancements in numerical methods for large-scale systems, including iterative solvers, spectral approximation techniques, and stochastic optimization. His interdisciplinary approach spans applied mathematics, computer science, and physics, with applications in fusion energy, machine learning, and network science. Recent work highlights include high-order expansions for magnetic confinement, adaptive filtering for dynamical systems, and Bayesian optimization strategies. His publications emphasize rigorous analysis alongside computational scalability, addressing both theoretical and practical aspects of modern scientific computing. Despite no explicitly listed awards, his contributions reflect significant impact in his fields.

Sainyam GalhotraView profile

Assistant Professor

• Artificial Intelligence
• Causal Inference
• Database Systems
• +4 more

Sainyam Galhotra is an Assistant Professor in the Department of Computer Science at Cornell University. His research focuses on developing data science tools for trustworthy analytics, integrating causal inference, data management, and machine learning to enhance robustness, explainability, and fairness in algorithmic systems. PhD: University of Massachusetts Amherst (2020), advised by Barna Saha B.Tech: Indian Institute of Technology Delhi (2014), advised by Amitabha Bagchi Postdoctoral Research: University of Chicago (Computing Innovation Fellow) His work spans artificial intelligence, causal inference, and responsible data science, emphasizing ethical algorithm design and reliable data integration. Recent publications highlight advancements in fair clustering, causal feature selection, and entity resolution frameworks. His research trends from 2023–2024 include contributions to spatio-temporal data correlation, community detection in geometric graphs, and distribution-aware dataset search. Key themes are fairness in machine learning, causal modeling, and scalable data management solutions. Computing Innovation Fellowship (2021) DAAD AInet Fellow (2021) ACM SIGMOD Entity Resolution Programming Contest Finalist (2021) Krithi Ramamritham Computer Science Scholarship (2019) BEST Paper Award in SIGSOFT FSE 2017 He actively seeks PhD or Master’s students interested in data science and trustworthy AI. Contact via email: sg@cs.cornell.edu .

• Probabilistic Verification
• Quantitative Model Checking
• Formal Methods
• +4 more

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.

Thomas HackerView profile

Professor

• Cloud Computing
• High-Performance Computing
• Operating Systems
• +3 more

Thomas Hacker is a Professor in the Department of Computer and Information Technology at Purdue Polytechnic Institute, Purdue University. His research focuses on cloud computing, high-performance computing, operating systems, computer networking, and cyber infrastructure . He holds a Ph.D. and M.S. in Computer Science & Engineering from the University of Michigan, along with dual B.S. degrees in Computer Science and Physics from Oakland University. Education: PhD (Computer Science & Engineering), University of Michigan (2004) MS (Computer Science & Engineering), University of Michigan (1993) BS (Computer Science, Mathematics Minor), Oakland University (1989) BS (Physics), Oakland University (1989) Dr. Hacker's research spans cloud and grid computing, operating systems, and distributed systems , with applications in earthquake engineering data systems and AI-driven infrastructure analysis. His recent work explores extended layer 2 networking for bare-metal provisioning ( 2023 IEEE Cloud Summit ) and machine-supported bridge inspection using artificial intelligence ( Transportation Research Record, 2023 ). Notable scientific contributions include 15+ publications on topics like cyberinfrastructure for earthquake engineering, container-based virtualization, and data-intensive systems. His work has been recognized with awards such as the NSF CAREER Award (2010) and multiple Purdue Seed for Success Awards . Key Scientific Awards: NSF CAREER Award (2010) Purdue Seed for Success Awards (2008-2013) ASEE Information Systems Division Best Paper Award (2012) College of Technology Outstanding Faculty in Discovery Award (2010) He has held leadership roles at Purdue, including Department Head (2018-2021) and Interim Department Head (2011-2016) . His career spans academic positions at Indiana University, University of Michigan, and industry roles at Storage Technology Corporation.

Melanie ZeilingerView profile

Associate Professor

• Learning-based Control
• Distributed Control and Optimization
• Robotics
• +4 more

Prof. Dr. Melanie Zeilinger is an Associate Professor at the Department of Mechanical and Process Engineering at ETH Zurich, leading the Intelligent Control Systems group at the Institute for Dynamic Systems and Control. She holds a diploma in Engineering Cybernetics from the University of Stuttgart (2006) and a Ph.D. in Electrical Engineering from ETH Zurich (2011). Her postdoctoral research included stints at EPFL (2011–2012), a Marie Curie fellowship at UC Berkeley and the Max Planck Institute (2012–2015), and a professorship at the University of Freiburg (2018–2019). Her research focuses on learning-based control, distributed control systems, and robotics , with applications to medical devices (e.g., hydrocephalus shunts) and human-in-the-loop systems. She organizes the Conference on Learning for Dynamics and Control (L4DC) and contributes to initiatives like the "Algorithm on My Team" project. Her awards include the ETH Medal for her PhD thesis, a Marie-Curie IO Fellowship , and an SNF Assistant Professorship grant . She serves as an Associate Editor for IEEE Control Systems Letters and actively reviews for top journals/conferences like IEEE TAC, Automatica, and NeurIPS. Key projects include: VIEshunt: A smart ventricular shunt for hydrocephalus treatment, combining control systems and medical engineering. Autonomous Racing: Contextual tuning and safety-certified learning-based MPC for real-time obstacle avoidance. Data-Driven Control: Integrating Gaussian processes and state-space models into MPC frameworks for uncertain systems. Her work bridges control theory, machine learning, and robotics, addressing societal challenges such as healthcare and energy efficiency.

William Yang WangView profile

Professor

• Artificial Intelligence
• Natural Language Processing
• Machine Learning
• +9 more

William Yang Wang serves as the Mellichamp Professor of Artificial Intelligence at the University of California, Santa Barbara (2019-present). He directs the UCSB Center for Responsible Machine Learning, the Mind and Machine Intelligence Initiative, and the UCSB NLP Group. His research focuses on theoretical foundations and practical algorithms for AI, particularly in NLP, LLMs, and neuro-symbolic reasoning. PhD in Computer Science from Carnegie Mellon University Active in AI theory and applications (2016-present) Research interests span multiple AI domains, with special emphasis on NLP and responsible machine learning. He has pioneered datasets like HybridQA, TabFact, and VaTeX, enabling advancements in multi-hop QA, fact verification, and video-language tasks. His work combines statistical relational learning with modern deep learning paradigms. Recent publications center around multimodal reasoning, knowledge graph integration, and responsible AI development. He has received numerous accolades including the IEEE SPS Pierre-Simon Laplace Award (2024) and NSF CAREER Award (2021). Karen Sparck Jones Award (2022) DARPA Young Faculty Award (2018) IBM Faculty Award Mentoring 15+ PhD and postdoc researchers who now hold positions at Microsoft Research, Amazon, Meta GenAI, and academic institutions like Arizona and Rutgers. His lab maintains active collaborations with industry partners through initiatives like ChipAgents.ai, which he founded as CEO.

Antti HonkelaView profile

Professor

• Privacy-preserving machine learning
• Differential Privacy
• Bayesian Machine Learning
• +3 more

Antti Honkela is a Professor of Data Science at the University of Helsinki's Department of Computer Science, within the Faculty of Science. He also serves as the Coordinating Professor for the Privacy-preserving and Secure AI Research Programme at the Finnish Center for Artificial Intelligence (FCAI), and as Deputy Director of the Master's Programme in Data Science. His roles include membership in the Health and Social Data Permit Authority (Findata) and as an Action Editor for Transactions on Machine Learning Research. Honkela's research focuses on privacy-preserving machine learning, differential privacy, Bayesian methods, and their applications in computational biology and healthcare. He leads projects such as the European Lighthouse in Secure and Safe AI (ELSA) and the Data Literacy for Responsible Decision-making initiative. His work emphasizes developing robust frameworks for privacy-aware AI, including differentially private synthetic data and federated learning. Honkela has advised numerous PhD and Master's students, and his contributions span theoretical advancements and practical implementations, such as the D3p Python package for differentially private probabilistic programming. Key contributions include advancements in Bayesian inference from synthetic data, privacy accounting mechanisms, and computational methods for genomic epidemiology. His interdisciplinary approach bridges machine learning, statistics, and healthcare, addressing challenges in data privacy and secure AI deployment.

• Trustworthy Machine Learning
• Conformal Prediction
• Explainable Artificial Intelligence
• +2 more

Henrik Boström is a Professor of Computer Science specializing in Data Science Systems at the Division of Software and Computer Systems, KTH Royal Institute of Technology. His research focuses on trustworthy machine learning , with emphasis on conformal prediction (for confidence-calibrated predictions) and explainable AI . He is the developer of Python packages crepes (conformal classifiers/regressors) and xrf (explainable random forests). His primary research domains include: Developing robust methods for uncertainty quantification in predictive models Creating interpretable machine learning frameworks Optimizing ensemble techniques for high-dimensional data Applying ML to healthcare informatics and industrial diagnostics Analysis of his recent publications reveals strong emphasis on: (1) advancing conformal prediction theory for trustworthy AI, (2) enhancing interpretability of complex models like random forests and GNNs, and (3) developing efficient algorithms for uncertainty-aware learning in domains including healthcare, graph data, and high-dimensional regression. He serves as examiner for multiple degree projects and teaches courses including Programming for Data Science (ID2214) and Research Methodology and Scientific Writing (II2202) . He leads development of open-source tools for conformal prediction and model interpretation.