Find Academic Supervisors

Michael CarbinView profile

Assistant Professor

• Programming Systems
• Approximate Computing
• Probabilistic Programming
• +4 more

Michael Carbin is the Jamieson Career Development Assistant Professor of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology (MIT) and leads the MIT Programming Systems Group. His research focuses on programming systems that address system uncertainty to enhance performance, energy efficiency, and resilience, particularly in environments involving neural networks , approximate computing , and unreliable hardware . His work spans probabilistic programming , quantum computing , and machine learning systems . Articles highlight contributions in pruning neural networks , quantum data structures , and compiler optimization , reflecting trends in deep learning , formal verification , and language-driven systems . Scientific Awards : MIT Frank E. Perkins Award (2020) Sloan Research Fellowship (2020) Facebook Research Award (2019) NSF CAREER Award (2018) Best Paper Awards at OOPSLA (2013, 2014) He has advised numerous graduate students and postdocs including Eric Atkinson, Cambridge Yang, and Charles Yuan, and served on program committees for conferences like POPL, OOPSLA, and ICLR. His group collaborates with institutions such as MIT CSAIL and explores applications in quantum algorithms and probabilistic inference .

• Applied Topology
• Dynamical Systems
• Algebraic Topology
• +5 more

Robert Ghrist is the Andrea Mitchell University Professor at the University of Pennsylvania with dual appointments in the Department of Mathematics and the Department of Electrical and Systems Engineering. He serves as Associate Dean for Undergraduate Education for Penn Engineering. His educational background includes a B.S. in Mechanical Engineering from the University of Toledo (1991), and M.S. and Ph.D. degrees in Applied Mathematics from Cornell University (1994, 1995). Ghrist's research bridges pure and applied mathematics, focusing on applied algebraic topology , dynamical systems , and geometric methods in data science. His work extends to network theory, topological data analysis, and computational geometry, with applications spanning robotics, neuroscience, and social dynamics. Key innovations include developing sheaf-theoretic approaches for networked systems and persistence homology techniques for high-dimensional data. Analysis of his recent publications reveals a strong emphasis on lattice-theoretic frameworks , topological robotics , and network dynamics , with emerging applications in neural data interpretation and geometric computing. His research consistently integrates category theory with real-world engineering challenges. Significant scientific recognition includes: Presidential Early Career Award (PECASE, 2004) Scientific American 'Top 50' Research Leader (2007) Mathematical Association of America's Chauvenet Prize (2013) University of Pennsylvania Lindback Award for Distinguished Teaching (2015) DoD National Security Science and Engineering Faculty Fellowship (NSSEFF, 2015) Ghrist leads multiple federally funded research initiatives supported by AFOSR, DARPA, NSF, and ONR. He directs the development of educational tools including the Calculus BLUE/GREEN Project video series and custom GPTs for mathematical pedagogy. His open online courses have reached over 100,000 learners globally.

Olga Sorkine HornungView profile

Professor

• Computer Graphics
• Geometric Modeling
• Geometry Processing
• +3 more

Prof. Olga Sorkine Hornung is a Full Professor of Computer Science at ETH Zürich, leading the Interactive Geometry Lab. She holds a BSc and PhD from Tel Aviv University (2000 and 2006) and conducted postdoctoral research at Technical University Berlin. Her research focuses on computer graphics, geometric modeling, and geometry processing, with applications in shape editing, digital fabrication, and animation. She has received numerous accolades, including the ACM Fellowship (2020), ERC Consolidator Grant (2020), and the Golden Owl Teaching Award (2021). Her work bridges theoretical foundations and practical algorithms, addressing challenges in parameterization, surface compression, and interactive design tools. Her research interests span: Computer Graphics & Visualization Geometric Modeling & Processing 3D Content Creation & Digital Fabrication Garment Design & Simulation Human Motion Analysis & Animation Awards and grants include: 2024: Best Paper Honorable Mention (EUROGRAPHICS) 2023: Member of Swiss Academy of Engineering Sciences (SATW) 2020: ERC Consolidator Grant 2017: Rössler Prize (ETH Zurich) Her lab focuses on developing novel methods for interactive geometry processing, with recent advancements in garment modeling (e.g., AIpparel, Rags2Riches) and motion retargeting systems like WalkTheDog. She actively collaborates on interdisciplinary projects, including biomedical applications and sustainable fashion technology.

Ji ZhuView profile

Professor

• Statistical Machine Learning
• Statistical Network Analysis
• Health Sciences
• +3 more

Ji Zhu is the Susan A. Murphy Collegiate Professor of Statistics at the University of Michigan, Department of Statistics. He holds affiliations with the Michigan Institute for Data Science (MIDAS) and the Michigan Integrated Center for Health Analytics and Medical Prediction (MiCHAMP). His research focuses on statistical machine learning, network analysis, and health science applications. Education: B.Sc. in Physics (Peking University, 1996), M.Sc. and Ph.D. in Statistics (Stanford University, 2000 and 2003). Notable awards include the NSF CAREER Award (2008), Fellowships from the ASA (2013) and IMS (2015), and recognition as a Web of Science Highly Cited Researcher (2014–2020). Research interests span statistical methodologies for networks, survival analysis, and high-dimensional data. He co-authored influential papers on community detection, network cross-validation, and latent space models. Current editorial roles include Editor-in-Chief of the Annals of Applied Statistics and Action Editor for the Journal of Machine Learning Research. Advising: Supervised over 50 students and postdocs, many now in academia and industry. Notable former advisees include Tianxi Li (University of Minnesota), Yuan Zhang (Ohio State University), and Weijing Tang (Carnegie Mellon University). Labs/Teams: Active in interdisciplinary projects at MIDAS and MiCHAMP, focusing on healthcare analytics and predictive modeling for diseases like hepatitis and cardiovascular outcomes.

Bradley D. OlsenView profile

Professor

• Polymer Science
• Materials Engineering
• Soft Condensed Matter Physics
• +4 more

Bradley D. Olsen is a full professor in the Department of Chemical Engineering at the Massachusetts Institute of Technology (MIT), where he leads research at the intersection of polymer science, soft matter physics, and bioengineering. His work focuses on designing materials for critical applications in biotechnology, hemostasis, and sustainable polymer development while advancing fundamental understanding of polymer network mechanics and self-assembly. Education: Ph.D. in Chemical Engineering, University of California Berkeley (2007) S.B. in Chemical Engineering, Massachusetts Institute of Technology (2003) Olsen's research spans protein-based materials, block copolymer phase behavior, and mechanochemical hydrogels. He has pioneered methods for quantifying polymer network topology, developing hemostatic nanoparticles, and creating bio-inspired materials for selective biomolecular transport and medical applications. His recent publications emphasize data-driven approaches to polymer characterization and educational outreach in materials science. Scientific Awards: American Physical Society (APS) Fellow (2023) Fulbright Amazonia Scholar (2023) Alexander and I. Michael Kasser Chair in Chemical Engineering (2021) ACS Macro Letters Young Investigator Award (2021) MIT Committed to Caring Honor (2019) AIChE Owens Corning Early Career Award (2019) APS Dillon Medal (2018) Kavli Emerging Leader in Chemistry (2017) ACS Polymer Division Fellow (2016) Camille Dreyfus-Teacher Scholar (2015) Alfred P. Sloan Research Fellow (2014) NSF Career Grant (2013) NIH Postdoctoral Fellowship (2008-2009) Hertz Fellow (2003-2007) Barry M. Goldwater Scholarship (2002) Olsen has received significant grant support including NSF Career (2013) and AFOSR (2012) awards. His teaching activities include innovative international outreach like the 2025 soccer-themed science camp in Brazil. The Olsen Group at MIT explores advanced materials with applications ranging from trauma care to sustainable polymers.

Jan DreierView profile

Research Fellow

• Structural Graph Theory
• Algorithmic Meta-theorems
• Computational Complexity
• +1 more

Jan Dreier is a Research Fellow at the Institute of Logic and Computation at Vienna University of Technology. His research centers on structural graph theory and algorithmic meta-theorems, particularly exploring the boundaries of tractability for model checking problems. Dreier's work bridges theoretical computer science and discrete mathematics, focusing on graph decompositions, parameterized complexity, and logical expressiveness. Key research themes include monadic stability in graph classes, applications of model theory to computer science, and efficient algorithms for logical queries on structured graphs. His publication record shows consistent focus on graph sparsity concepts and algorithmic applications of logic, with recent work expanding into approximation methods for counting queries. Research demonstrates sophisticated applications of combinatorial methods to fundamental problems in computational complexity.

Christopher MorrisView profile

Assistant Professor

• Machine Learning
• Graph Neural Networks
• Computer Science Theory
• +3 more

Christopher Morris is a tenure-track Assistant Professor at RWTH Aachen University and a DFG Emmy Noether fellow. He leads the Learning on Graphs (LoG) research group, focusing on machine learning methods for structured data, particularly graph neural networks. His work bridges machine learning, computer science theory, and discrete mathematics, addressing challenges in generalization, expressivity, and algorithmic efficiency. Education: PhD in Computer Science from TU Dortmund University (advised by Petra Mutzel and Kristian Kersting), postdoctoral research at Mila - Quebec AI Institute (Siamak Ravanbakhsh) and McGill University, and Polytechnique Montréal (Andrea Lodi). Research interests emphasize graph machine learning, including generalization theory, combinatorial optimization, and scalable graph embeddings. Notable contributions include analyzing Weisfeiler-Leman algorithms' impact on GNNs' expressivity and generalization (VC dimension connections). Awards: DFG Emmy Noether Fellowship. Supervises six PhD students in Aachen. Active in teaching, offering courses on graph-based machine learning foundations and applications since 2022. Labs/Teams: LoG group at RWTH Aachen, collaborating with institutions like Mila and Polytechnique Montréal. Erdős number 3 through Petra Mutzel’s collaboration network.

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.

Konstantin (Kostia) M. ZuevView profile

Teaching Professor

• Network Science
• Applied Probability
• Computational Statistics
• +4 more

Dr. Konstantin (Kostia) M. Zuev serves as Teaching Professor in the Computing + Mathematical Sciences Department at California Institute of Technology , where he has made significant contributions to network science and computational statistics since 2016. His dual PhDs in Mathematics (Moscow State University, 2008) and Civil Engineering (HKUST, 2009) underpin his interdisciplinary research spanning differential geometry, stochastic simulation, and network dynamics. Education PhD in Mathematics, Lomonosov Moscow State University (2008) PhD in Civil Engineering, Hong Kong University of Science & Technology (2009) His research focuses on network science , particularly course-prerequisite networks and complex financial systems , with recent work extending to network navigability in cosmological models and rare event simulation. Over his career, he has developed innovative Bayesian inference methods and geometric preferential attachment theories while maintaining active collaborations across mathematics, physics, and biomedical domains. Recent publications highlight network analysis in education ( 2023 ), hyperbolic graph theory ( 2024 ), and pandemic-informed cancer mortality studies ( 2023 ). His 15 most recent articles demonstrate methodological innovations across disciplines including statistics, physics, finance, and cosmology. Scientific recognition includes Humboldt Research Fellowship (2021) Carver Mead Seed Fund Grant (2023) ASCIT Teaching Award (2018, 2023) Northrop Grumman Teaching Excellence Prize (2019) As Graduate Option Representative for Information and Data Sciences at Caltech and faculty advisor for multiple student organizations including the Caltech Karate Club and Caltech Chess Club , he actively bridges academic rigor with community engagement through outreach initiatives like the virtual math education channel and university math circles for K-12 students.

Jundong LiView profile

Assistant Professor

• Data Mining
• Machine Learning
• Graph Machine Learning
• +12 more

Jundong Li is an Assistant Professor at the University of Virginia with primary appointment in the Department of Electrical and Computer Engineering and secondary appointments in Computer Science and the School of Data Science. He is affiliated with the School of Engineering and Applied Science and conducts research at the intersection of machine learning, data mining, and artificial intelligence. Education: Ph.D. in Computer Science, Arizona State University, 2019 M.Sc. in Computer Science, University of Alberta, 2014 B.Eng. in Software Engineering, Zhejiang University, 2012 His research focuses on graph machine learning , trustworthy and fair AI , and large language models . He investigates how to make deep learning models more interpretable, robust, and equitable, especially in graph-structured data and NLP applications. His work combines causal inference, feature selection, and model explanation techniques to build reliable AI systems. His recent publications (2024–2022) reveal a strong trend toward large language models , with topics including in-context learning, knowledge editing, and collaborative reasoning. Simultaneously, he continues pioneering research on fairness and interpretability in graph neural networks , addressing structural bias, adversarial attacks, and node attribution. His work is highly interdisciplinary, spanning computer science, data science, and social impact. Scientific Awards: SIGKDD Rising Star Award (2024) PAKDD Best Paper Award (2024) NSF CAREER Award (2022) SIGKDD Best Research Paper Award (2022) JP Morgan Faculty Research Award (2021, 2022) Cisco Faculty Research Award (2021) Stanford/Elsevier Top 2% Scientist (2024) Jundong Li actively advises graduate students, as seen in his co-authored papers with researchers like Song Wang, Yushun Dong, and Binchi Zhang. His research is generously funded by the National Science Foundation (NSF) through multiple programs including CAREER, III, SaTC, SAI, and S&CC, as well as by the Department of Energy (DOE) , Office of Naval Research (ONR) , Jefferson Lab , and industry partners including JP Morgan, Cisco, Netflix, and Snap . He leads a dynamic research group focused on advancing the frontiers of graph learning and trustworthy AI, with projects on causal inference, model unlearning, and explainable systems. His lab contributes to both theoretical foundations and real-world applications in public health, transportation, and network security.

Clay CórdovaView profile

Associate Professor

• Theoretical Physics
• Quantum Field Theory
• Particle Physics
• +3 more

Clay Córdova is an Associate Professor at the University of Chicago, associated with the Enrico Fermi Institute, James Franck Institute, Kadanoff Center, and Kavli Institute. His research focuses on theoretical physics, particularly quantum field theory, non-invertible symmetries, and their applications in particle and condensed matter physics. Córdova’s work explores topological phases, gauge theories, and string theory, with recent contributions to non-invertible symmetry classification and their role in phase transitions. His research interests include categorical symmetries, topological defects, and anomaly matching in quantum field theories. He has pioneered studies on soliton-particle degeneracies, anyon condensation mechanisms, and anomalies in non-invertible symmetry frameworks. Córdova’s work bridges high-energy physics with condensed matter systems, often employing advanced mathematical techniques from category theory and algebraic topology. His 2023 Sloan Research Fellowship highlights recognition of his contributions. Key research trends span non-invertible symmetries across dimensions, topological field theory applications, and interdisciplinary methods combining machine learning with lattice gauge theory. Current projects include exploring duality defects, gapped phase obstructions, and symmetry-enriched phases in (3+1)D systems.

• Numerical Modeling
• Computational Simulation
• Materials Science
• +5 more

Assoc Prof Ng Teng Yong is an Associate Professor at the School of Mechanical & Aerospace Engineering (NTU), specializing in numerical modeling and simulation. With a background as Research Manager at A*STAR Institute of High Performance Computing, his work spans materials science, nanotechnology, and aerospace engineering. Current focus on graphene-based desalination membranes Expertise in molecular dynamics simulations Investigates nanoscale fluid mechanics and structural dynamics Recent publications highlight advancements in energy-efficient electrodialysis, smart robotics, and nonlinear vibration analysis. His interdisciplinary approach integrates computational methods with experimental validation in additive manufacturing and soft material mechanics.

• Perceptual information processing
• Computer Vision
• Artificial Intelligence
• +3 more

Hiroshi Ishikawa is a Professor in the Department of Computer Science and Engineering at Waseda University's Faculty of Science and Engineering. He also serves as a Visiting Professor at the National Institute of Informatics since 2016. Previously, he held positions at Nagoya City University from 2004-2010 as Assistant Professor, Associate Professor, and Professor. His academic journey includes being a JST PRESTO Researcher from 2009-2013 and an Associate Research Scientist at New York University's Courant Institute of Mathematical Sciences from 2000-2001. Ph.D. in Computer Science, New York University (2000) Master of Science, Kyoto University Bachelor's degree in Mathematics, Kyoto University Faculty of Science (1991) Hiroshi Ishikawa's research spans perceptual information processing, computer vision, artificial intelligence, deep learning, and discrete optimization. His work focuses on developing algorithms for image restoration, segmentation, and understanding, with significant contributions to energy minimization techniques in computer vision. He has pioneered approaches in sketch simplification, medical image segmentation, and higher-order graph cuts. His research bridges theoretical advances in mathematical optimization with practical applications in medical imaging, computer graphics, and consumer electronics. Ishikawa's recent publications demonstrate a strong focus on leveraging deep learning for image enhancement and understanding. His work spans super-resolution techniques, colorization methods, human avatar generation, and medical image analysis. A notable trend is the increasing integration of attention mechanisms and generative models to solve complex vision problems, with growing emphasis on real-world applications in medical imaging and computer graphics. His research group consistently produces high-impact work that appears in top-tier computer vision conferences. 75th Annual IEICE Best Paper Award (2019) Innovative Technologies 2016 Special Prize for Culture (Ministry of Economy, Trade and Industry) MIRU Nagao Award (Best Paper Award) (2009) Young Author Award (IEEE Computer Society Japan Chapter, 2006) MIRU2006 Excellent Paper Award (2006) Harold Grad Memorial Prize (Courant Institute of Mathematical Sciences, NYU, 2000) As a professor at Waseda University, Ishikawa has mentored numerous students who have become active researchers in computer vision, including Yuya Masuda, Edgar Simo-Serra, and Satoshi Iizuka. His research has been supported by various grants, including JST PRESTO funding from 2009-2013. He has served on editorial boards for prestigious journals including IEEE Transactions on Pattern Analysis and Machine Intelligence and has held leadership roles in major computer vision conferences such as ICCV, CVPR, and ACCV. Ishikawa leads a vibrant research group at Waseda University focused on computer vision and image processing. His laboratory collaborates extensively with researchers at Nagoya City University, National Institute of Informatics, and international institutions. The group maintains strong connections with industry partners, particularly in medical imaging and consumer electronics sectors, translating theoretical advances into practical applications.

Aleksander KubicaView profile

Assistant Professor

• Quantum Information Science
• Quantum Error Correction
• Fault Tolerance
• +3 more

Aleksander Kubica is an Assistant Professor of Applied Physics at Yale University, specializing in quantum information science with a focus on quantum error correction and fault tolerance. His research bridges quantum many-body physics and topological codes, particularly exploring applications in superconducting circuits and quantum architectures. He holds a Ph.D. from the California Institute of Technology and a B.S. from the University of Warsaw. Dr. Kubica's work addresses foundational challenges in scalable quantum computing, including optimizing error correction protocols, developing fault-tolerant architectures, and analyzing the intersection of quantum metrology with error mitigation. Recent contributions include advancements in erasure qubits, correlated noise decoding, and topological code adaptations. His research often involves interdisciplinary approaches, combining theoretical physics with algorithm design and hardware-efficient solutions. Key themes in his publications include improving error correction thresholds, designing low-overhead quantum architectures, and exploring novel decoding strategies for topological codes. While no specific awards are listed, his active research trajectory and contributions to quantum computing indicate significant scholarly engagement in the field.

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.