Find Academic Supervisors

Cezary KaliszykView profile

Professor

• Automated Reasoning
• Formal Methods
• Formalized Mathematics
• +7 more

Cezary Kaliszyk is a Professor in Theoretical Computer Science at the University of Melbourne, previously affiliated with the University of Innsbruck. He is actively involved in research and leadership in formal methods, automated reasoning, and machine learning for theorem proving. Research Interests: Automated Reasoning and Interactive Theorem Proving Formalized Mathematics and Proof Automation Machine Learning for Logic and Theorem Proving Integration of AI with Proof Assistants (Coq, Isabelle) Dependent Type Theory and Higher-Order Logic His recent publications (2023–2025) span topics in dependently-typed logic, learning for proof guidance, formalization of surreal numbers, and blockchain-based formal methods. The works consistently bridge formal logic with machine learning, emphasizing automation, explainability, and cross-system integration. Scientific Leadership and Projects: Principal Investigator, ERC project FormalWeb3 Lead Developer, CoqHammer , Tactician , ProofWeb WG5 Leader, COST Action EuroProofNet (until 2024) Contributor to HOL(y)Hammer , Isabelle Enigma He supervises multiple PhD students and has mentored several graduates in formal methods and AI. He teaches courses in theoretical computer science, logic, and machine learning. There are no listed awards in the provided data, but his extensive publication record and project leadership indicate significant recognition in the field. Labs and Research Groups: He leads a research group focused on formal methods and learning-based reasoning, collaborating internationally on projects involving proof automation, formal libraries, and semantic technologies.

Franziska MuellerView profile

Researcher

• Computer Vision
• Machine Learning
• 3D Hand Pose Estimation
• +3 more

Franziska Mueller is a Research Scientist at Google Zurich , specializing in Augmented Perception . Prior to joining Google, she earned her Ph.D. in Computer Science at Saarland University under the supervision of Prof. Dr. Christian Theobalt, focusing on real-time hand reconstruction from RGB and depth images. Ph.D. in Computer Science (2016-2020) at Saarland University Master’s and Bachelor’s in Computer Science at Saarland University Research visits at Stanford University (2018) and Reality Labs Research (2019) Her research emphasizes the integration of model-based techniques and machine learning components for real-time 3D hand pose estimation, occlusion handling, and hand-object interaction tracking. Key contributions include methods for single-camera reconstruction and datasets like HandSeg. Scientific Awards : Dr. Eduard Martin Award (2021) Google PhD Fellowship (2017) Günter-Hotz-Medal (2016) Bachelor Award (2015) Völklinger Abiturpreis (2012)

Ding ZhaoView profile

Associate Professor

• Trustworthy AI
• Autonomous Vehicles
• Robotics
• +7 more

Ding Zhao is an Associate Professor in Mechanical Engineering at Carnegie Mellon University (CMU), with cross-appointments in Computer Science, Robotics Institute, CyLab Security & Privacy Institute, and Scott Institute for Energy Innovation. He directs the CMU Safe AI Laboratory, pioneering research in trustworthy AI for autonomous vehicles, robotics, and healthcare. His work emphasizes robustness, safety, and ethical deployment of AI systems. Education: • Ph.D. in Mechanical Engineering, University of Michigan (2016) • B.S. in Automotive Engineering, Jilin University (2010) Research Interests: Zhao's lab bridges machine learning theory and engineering to develop AI for high-stakes applications. Key areas include: trustworthy AI generalization, safety-critical decision-making, generative AI for digital twins, and physical AI in mobility/healthcare. His long-term mission is to create "trustworthy AI generalists" deployable in real-world critical systems. Awards & Honors: NSF CAREER Award MIT Technology Review 35 under 35 China IEEE George N. Saridis Best Paper Award Ford/Carnegie-Bosch/Toyota Industrial Fellowships Qualcomm Innovation Award Advising & Grants: He mentors 13+ PhD and 30+ Master’s students, with alumni at NVIDIA, Meta, Stanford, and Tsinghua University. His lab collaborates with Google, Amazon, Ford, Mayo Clinic, and received grants from NSF, DOT, Rolls-Royce, and Bosch. Courses taught include Trustworthy AI and Modern Control for Robotics . Lab & Projects: The Safe AI Lab develops: Safe Robotic Foundation Models (LocoMan), generative AI for autonomous driving (SafeBench), cardiac diagnostics (Heart-2), multi-agent safety systems, and robotic tool innovation (RoboTool). Projects target landslide monitoring, AV safety with Pittsburgh, and energy grid resilience.

Joseph A. CampbellView profile

Assistant Professor

• Explainable AI
• Robotics
• Machine Learning
• +3 more

Joseph A. Campbell is an Assistant Professor in the Department of Computer Science at Purdue University, leading the Collaborative AI for Machines and People (CAMP) Lab. He holds a Ph.D., M.S., and B.S. in Computer Science and Computer Engineering from Arizona State University. Before academia, he worked as a software engineer for five years. Prior to Purdue, he was a Postdoctoral Fellow at Carnegie Mellon University's Robotics Institute. His research focuses on explainable machine learning and robotics, particularly how agents use explanations for self-improvement and decision-making. Key areas include theory of mind in multi-agent systems, lifelong learning, and interpretable transfer learning. His work bridges robotics and AI, with applications in human-robot interaction and prosthetic control. Notable publications include advancements in reinforcement learning with language models, multi-agent collaboration frameworks, and methods for enhancing state estimation in robots. His research has been presented at top conferences like NeurIPS, EMNLP, and CoRL. Dr. Campbell maintains an active GitHub profile (joe-campbell) with repositories such as Interaction Primitives for robotics applications. His lab, CAMP, explores AI systems that collaborate effectively with humans and other machines.

Bruno Felisberto Martins RibeiroView profile

Associate Professor

• Networking and Operating Systems
• Artificial Intelligence
• Machine Learning
• +4 more

Bruno Felisberto Martins Ribeiro is an Associate Professor of Computer Science at Purdue University, joining the department in Fall 2015. His research focuses on endowing machine learning algorithms with robust invariant representations for relational and temporal data, emphasizing causal and associational tasks. Key research areas include Networking and Operating Systems, Artificial Intelligence, Machine Learning, and Natural Language Processing. He holds a Ph.D. in Computer Science from the University of Massachusetts Amherst (2010). Education: Ph.D., Computer Science, University of Massachusetts Amherst, 2010 Research Interests: Explores invariances in mathematics and machine learning to improve model robustness. Key topics include graph and tensor invariances, causal relationships, adversarial robustness, and applications in recommendation systems, robotics, and drug discovery. His lab’s work has advanced counterfactual task frameworks and causal reasoning in machine learning. Recent Contributions: Recent publications address zero-shot generalization in graph neural networks, causal discovery methods, and defenses against adversarial attacks. His work spans conferences like ICML, NeurIPS, and SIGCOMM. Awards: Best Paper Award at ACM CODASPY 2021 Best Paper Award at SIGMETRICS 2016 Best Paper Award at IEEE NetSciCom 2014 Advising & Students: Supervises current PhD students Beatrice Bevilacqua, Jincheng Zhou, and Yucheng Zhang, along with MSc student Ipsit Mantri. Notable former students include S Chandra Mouli (Meta), Yangze Zhou (Spotify), and Jianfei Gao (Vector Institute). Labs & Teams: Leads research in invariant representations and causal ML, collaborating with institutions like Stanford during his sabbatical. His work bridges theory and practice, impacting areas like network analysis and AI-driven healthcare.

Jiaoyang LiView profile

Assistant Professor

• Multi-Robot Coordination
• Artificial Intelligence
• Planning and Scheduling
• +5 more

Jiaoyang Li is an Assistant Professor at the Robotics Institute, Carnegie Mellon University , where she leads research in large-scale multi-robot coordination. She earned her Ph.D. in Computer Science from the University of Southern California (2022) under Professor Sven Koenig and holds a B.Eng. in Automation from Tsinghua University (2017) . Ph.D. (2022): University of Southern California B.Eng. (2017): Tsinghua University Research Focus : Jiaoyang Li's work centers on algorithms for multi-robot coordination in dynamic environments. Key areas include: Multi-Agent Path Finding (MAPF) Lifelong Planning for Autonomous Systems Kinodynamic Motion Planning Warehouse and Transportation Automation Human-Robot Collaboration Integration of Planning and Machine Learning Swarm Robotics Publication Trends : Recent work spans 2023-2025 , showing emphasis on: Scalable coordination for 10,000+ robots Bézier curve optimization for dual-arm assembly Diffusion models in multi-robot motion planning Guidance graph optimization for airport/railway traffic Multi-objective search in warehouse automation Temporal plan graphs for switchable passing orders Scientific Honors : ICAPS-24 Best Student Paper Award Three top dissertation awards (ICAPS-23, IFAAAMAS, USC) 2023 League of Robot Runners champion Outstanding student paper award at ICAPS-20 Technology Commercialization Award from USC Student Leadership : Advises 5 Ph.D. students and 1 Master's student at CMU, with alumni now at MIT (Ying Feng) and USC (Yimin Tang). Collaborates with visiting students from National University of Singapore and Tsinghua University. Lab Affiliation : Directs the Artificial Intelligence for Robot Coordination at Scale (ARCS) Lab , focusing on: Warehouse automation with thousands of robots Multi-arm LEGO assembly systems Railway coordination algorithms Cooperative assembly with multiple manipulators

Steven H. H. DingView profile

Assistant Professor

• Cybersecurity
• Machine Learning
• Data Mining
• +7 more

Dr. Steven H. H. Ding is an Assistant Professor at McGill University's School of Information Studies, specializing in cybersecurity, machine learning, and data mining. His research focuses on AI-driven solutions for malware detection, software vulnerability analysis, and reverse engineering. He holds a PhD from McGill University and has been supported by BlackBerry Cylance and DRDC. His work bridges theoretical advancements with practical applications in military systems and avionics cybersecurity. Dr. Ding earned his PhD in 2019 with notable awards including the FRQNT Doctoral Research Scholarship and McGill's Dean’s Graduate Award. His educational background includes degrees from McGill, Concordia University, and the University of Shanghai for Science and Technology. His research interests span cybersecurity domains such as zero-day malware identification, code obfuscation countermeasures, authorship verification for digital forensics, and AI applications in avionics anomaly detection. He actively contributes to open-source tools like the Kam1n0 MapReduce-based assembly clone search system. Recent work emphasizes adversarial machine learning for evasive malware generation, transformer-based anomaly detection in avionics, and automated SBOM generation for firmware analysis. His publications reflect a focus on real-world cybersecurity challenges in both civilian and defense sectors. Dr. Ding leads the L1NNA Lab and collaborates with industry partners on cutting-edge projects. His contributions include novel techniques for phishing detection leveraging large language models and innovative approaches to reverse engineering software composition in JavaScript applications.

Andrea MontanariView profile

Professor

• High-dimensional statistics
• Machine learning theory
• Statistical physics
• +4 more

Andrea Montanari is a Professor of Mathematics and Statistics at Stanford University, affiliated with the Department of Mathematics and Statistics. His research focuses on high-dimensional statistics, machine learning theory, optimization algorithms, and statistical physics, with applications to neural networks and complex systems. He has contributed extensively to understanding generalization in overparametrized models, spin glass theory, and algorithmic methods like approximate message passing. His work bridges theoretical computer science and mathematical physics, addressing challenges in data analysis and learning from high-dimensional datasets. Notable themes include analyzing neural network dynamics, optimizing high-dimensional landscapes, and developing efficient algorithms for sparse and low-rank matrix estimation. Montanari’s publications explore topics such as the interplay between statistical and computational limits, the behavior of gradient-based methods, and the theoretical foundations of modern machine learning. His recent research demonstrates a focus on fundamental questions in learning theory, including the study of phase transitions in statistical estimation, the role of overparametrization in generalization, and the mathematical underpinnings of contemporary algorithms. While no specific awards are listed here, his contributions reflect significant impact in interdisciplinary fields.

• Electrical and Electronic Engineering
• Computer Hardware
• Computer Software
• +7 more

Professor Peter Y. K. Cheung is a Professor of Digital Systems at Imperial College London, holding dual affiliations within the Department of Electrical and Electronic Engineering and the Dyson School of Design Engineering. His work focuses on reconfigurable systems, FPGA architectures, and high-level synthesis tools. He co-founded one of the UK's leading FPGA research groups with Professor Wayne Luk, addressing challenges in variability mitigation, reliability, and application-specific FPGA deployments. His research spans Field-Programmable Gate Arrays (FPGAs) Reconfigurable computing Neural network acceleration Cryptographic protocols Embedded systems He has pioneered techniques such as logic shrinkage for FPGA-based neural networks and developed frameworks like LUTNet for efficient inference. His contributions also include fault-tolerant FPGA designs and methodologies for distributed computation protocols. Key collaborations include work with the Department of Computing on FPGA-based AI acceleration and cybersecurity applications. His recent work explores edge computing, secure decentralized systems, and pandemic modeling using adaptive control strategies. Notable projects include the DSCS protocol for secure distributed computation, acceleration of gravitational wave detection algorithms, and energy-efficient CNN implementations. His research bridges hardware-software co-design with real-world applications in healthcare, finance, and aerospace.

Tamás BudaváriView profile

Associate Professor

• Computational Statistics
• Bayesian Inference
• Astronomy
• +6 more

Tamás Budavári is an Associate Professor in the Department of Applied Mathematics and Statistics at Johns Hopkins University (JHU), with joint appointments in Physics and Astronomy and a secondary appointment in Computer Science. He is affiliated with the Whiting School of Engineering and the Institute for Data-Intensive Engineering and Science (IDIES). His research focuses on computational and statistical methods for big data in astronomy and interdisciplinary applications such as urban blight analysis. Education: PhD in Astrophysics (2001), Eötvös Loránd University, Budapest Master’s in Theoretical Physics (1997), Eötvös Loránd University Research Interests: Budavári develops algorithms for handling large astronomical datasets, including Bayesian inference, streaming algorithms, and GPU-accelerated processing. His work includes SkyQuery (an online astronomy data tool), photometric redshift estimation, and cross-matching catalogs. He also applies computational methods to urban planning, such as optimizing strategies to address vacant housing in Baltimore City. Publications & Tools: Budavári’s recent work spans topics like deep learning for astronomical image restoration, combinatorial optimization for urban policy, and probabilistic catalog matching. His tools, such as CUDAHM and NWAY, enable scalable analysis of multi-epoch survey data and N-way catalog cross-identification. Awards & Grants: Recipient of the Gordon and Betty Moore Fellowship and SAMSI Research Fellowship Funded by NSF, STScI, NIH, and others Leadership & Outreach: He serves on the Steering Committee of the 21st Centuries Cities Initiative and is a founding editor of the Journal of Astronomy and Computing. His interdisciplinary work bridges astrophysics, data science, and urban systems.

Shivani AgarwalView profile

Associate Professor

• Machine Learning
• Data Science
• Statistical Learning Theory
• +3 more

Shivani Agarwal is an Associate Professor of Computer and Information Science and (by courtesy) Statistics and Data Science at the University of Pennsylvania. Her research focuses on computational, mathematical, and statistical foundations of machine learning, including algorithm design, theory, and applications in life sciences. She holds leadership roles in initiatives like the NSF-funded Penn Institute for Foundations of Data Science (PIFODS) and the Penn Research in Machine Learning (PRiML) forum. Previously, she was a Radcliffe Fellow at Harvard, and held academic positions at MIT, Indian Institute of Science, and the University of Illinois at Urbana-Champaign. Education: PhD in Computer Science from the University of Illinois, Urbana-Champaign. Prior roles include Assistant Professor (Ramanujan Fellow) at IISc, postdoctoral lecturer at MIT, and Radcliffe Fellow at Harvard. Research interests span machine learning theory, ranking systems, bandit algorithms, noisy label learning, and interdisciplinary applications in economics, operations research, and psychology. She has organized numerous conferences and workshops, including COLT 2020 and NIPS workshops on ranking and learning. Key professional activities include leadership in Indo-US research collaborations and editorial roles for the Journal of Machine Learning Research and Harvard Data Science Review.

• Biomedical Signal and Image Processing
• Cardiovascular and Neural Modeling
• Physiologically-interpretable Artificial Intelligence systems
• +5 more

Gaetano Valenza is an Associate Professor of Bioengineering at the University of Pisa, Italy, where he leads the Neuro-Cardiovascular Intelligence Lab at the Enrico Piaggio Research Centre. He holds affiliations with the Neuroscience Statistics Research Laboratory at MIT and has served as a Research Fellow at Harvard Medical School and Massachusetts General Hospital. His academic work spans bioengineering, computational physiology, and affective computing. His research focuses on statistical and nonlinear biomedical signal and image processing , cardiovascular and neural modeling , and physiologically interpretable artificial intelligence . He develops wearable systems for physiological monitoring, with applications in autonomic nervous system assessment, brain-heart interactions, and mental health. His work has led to novel metrics such as the Sympathetic and Parasympathetic activity indices derived from ECG. The 15 most recent publications reflect a consistent trend in brain-heart interplay , complexity analysis of physiological signals , explainable AI in healthcare , and virtual reality applications in mental health . His work integrates advanced signal processing, nonlinear dynamics, and machine learning to decode emotional and cognitive states from physiological data. Dr. Valenza is a Senior Member of IEEE and serves on several technical committees. He is an active editorial leader, currently serving as Associate Editor for IEEE-EMBC , Plos One , Complexity , and Scientific Reports , and has guest-edited special issues in Philosophical Transactions of the Royal Society A and IEEE Journal of Biomedical and Health Informatics . He has led or participated in numerous international research projects, including FP7 and H2020 initiatives such as NEVERMIND and EXPERIENCE. He teaches courses in Biostatistics, Probability & Biostatistics, and Advanced Image Processing at the University of Pisa. As lab head and project coordinator, he leads a multidisciplinary team working on neuro-cardiovascular intelligence, wearable systems, and AI-driven mental health interventions.

Ola SvenssonView profile

Associate Professor

• Approximation Algorithms
• Combinatorial Optimization
• Computational Complexity
• +3 more

Ola Svensson is an Associate Professor at the School of Computer and Communication Sciences , EPFL. His research spans approximation algorithms, combinatorial optimization, computational complexity, and scheduling. He holds an ERC Consolidator Grant (2023–) and previously received an ERC Starting Grant (2014–2019) and SNF grant (2019–2023). Education: PhD in Computer Science from IDSIA, Università della Svizzera italiana (2009) M.Sc. from Uppsala University (2005) Research Focus: Svensson develops novel techniques for NP-hard problems, with emphasis on primal-dual methods, LP/SDP hierarchies, and hardness proofs. His work applies to clustering, scheduling, network design, and submodular optimization. Publications: His 15 most recent works (2018–2021) focus on learning-augmented algorithms, robust optimization, and improved approximations for clustering/TSP. Key trends include integration of ML with classical algorithms and quasi-polynomial methods for combinatorial problems. Awards: Best Paper Awards at FOCS (2011, 2017) and STOC (2018) I&C Teaching Award at EPFL Advising & Grants: He advises 6 current PhD students and graduated 8 others. Major grants include ERC Starting Grant 'OptApprox' (€1.4M) and ERC Consolidator Grant 'POTCO' (€2M). Teaching: Leads courses in Advanced Algorithms, Computational Complexity, and Approximation Algorithms. He developed pedagogical frameworks for scribe notes and project-based learning in theoretical computer science.

Charles A. BoumanView profile

Professor

• Computational Imaging
• Statistical Image Models
• Tomographic Image Reconstruction
• +13 more

Charles A. Bouman is the Showalter Professor of Electrical and Computer Engineering and Biomedical Engineering at Purdue University, with a courtesy appointment in Mathematics. He is a leading researcher in computational imaging, integrating statistical signal processing, physics, and computation for applications in healthcare, scientific, and industrial imaging. Education: B.S.E.E., University of Pennsylvania, 1981 M.S., University of California at Berkeley, 1982 Ph.D. in Electrical Engineering, Princeton University, 1989 His research focuses on computational imaging , including statistical image models, multiscale techniques, tomographic reconstruction, and fast algorithms. Key areas include Model-Based Iterative Reconstruction (MBIR), Plug-and-Play priors, document processing, and multiscale segmentation. His work has led to foundational contributions in total variation regularization and sparse-view reconstruction. The recent publications highlight a strong trend in integrating machine learning with physical models for image reconstruction, particularly through Plug-and-Play methods. His work spans optical tomography, halftoning, image scaling, and document compression, demonstrating consistent innovation in both theory and practical software implementation. Scientific Awards and Honors: Member, National Academy of Inventors Life Fellow, IEEE Fellow, IS&T; Honorary Member (2022); Service Award (2023) Fellow, SPIE and AIMBE IEEE Signal Processing Society Claude Shannon-Harry Nyquist Award (2021) Electronic Imaging Scientist of the Year (2014) SIAM Imaging Science Best Paper Prize (2020) Founder, IS&T Computational Imaging Conference (2003) Co-Founder, IEEE Transactions on Computational Imaging Vice President, IS&T; Former VP of Publications (2000–2004) Bouman has advised numerous graduate students and leads a vibrant research group developing open-source tools like MBIRJAX , SVMBIR , and OpenMBIR . His research has been supported by the National Science Foundation, General Electric, Intel, Xerox, Hewlett-Packard, and the State of Indiana 21st Century Fund. He maintains an active presence through tutorials, conference leadership, and educational resources including video lectures and a textbook on Foundations of Computational Imaging. Labs and Research Teams: His group develops cutting-edge software for tomographic reconstruction, clustering, segmentation, and dynamic sampling. Projects include Gaussian Mixture modeling (GMCluster), Plug-and-Play implementations, Sparse Matrix Transforms, and UAV sensing datasets. The research is highly interdisciplinary, bridging engineering, mathematics, and biomedical applications.

Guglielmo ScovazziView profile

Professor

• Finite element methods
• Computational fluid mechanics
• Computational solid mechanics
• +9 more

Guglielmo Scovazzi is a Professor at Duke University with appointments across multiple departments including the Department of Civil and Environmental Engineering, the Thomas Lord Department of Mechanical Engineering and Materials Science, and as Professor of Mathematics. His interdisciplinary research bridges computational mechanics, scientific computing, and engineering applications. Dr. Scovazzi earned his B.S/M.S. in aerospace engineering (summa cum laude) from Politecnico di Torino (Italy), followed by an M.S. and Ph.D. in mechanical engineering from Stanford University. Prior to joining Duke, he was a Senior Member of the Technical Staff at Sandia National Laboratories' Computer Science Research Institute. His research focuses on developing advanced numerical methods for computational mechanics, particularly finite element methods for fluid and solid mechanics. Key areas include multiphase porous media flows, computational methods for materials under extreme conditions, turbulent flow computations, and instability phenomena. His work emphasizes creating accurate computational approaches that reduce design/analysis costs for complex engineering problems involving fluid-structure interactions and transient phenomena in complex geometries. Dr. Scovazzi's most significant recent contribution is the development of the Shifted Boundary Method, an innovative computational framework that enables efficient simulations on complex geometries without requiring boundary-fitted meshes. This method has found applications in geomechanics, energy systems, and resilient infrastructure design. Kavli Fellow, National Academy of Sciences & Kavli Foundation (2018) Presidential Early Career Award for Scientists and Engineers (PECASE), White House (2017) Early Career Award, U.S. Department of Energy, Advanced Scientific Computing Research Program (2014) Dr. Scovazzi teaches multiple courses in computational mechanics including Nonlinear Finite Element Analysis and Introduction to the Finite Element Method. His research has been supported by substantial federal funding, and he actively collaborates across disciplines to address challenging problems in energy, environment, and infrastructure resilience through advanced computational methods.