Find Academic Supervisors

Nikhil SrivastavaView profile

Associate Professor

• theoretical computer science
• algebraic graph theory
• spectral graph theory
• +5 more

Nikhil Srivastava is an Associate Professor of Mathematics at the University of California, Berkeley, and a Senior Scientist at the Simons Institute. He received his PhD in Computer Science from Yale University in 2010 under the supervision of Daniel Spielman, following his undergraduate studies at Union College. After postdoctoral positions at the Institute for Advanced Study (Princeton), MSRI, and a research position at Microsoft Research India, he joined UC Berkeley in 2015. His research spans theoretical computer science and mathematics, with particular focus on spectral graph theory, random matrices, the geometry of polynomials, asymptotic convex geometry, and numerical analysis . His work often bridges the gap between pure mathematics and theoretical computer science, developing deep connections between polynomial methods, linear algebra, and combinatorial structures. Srivastava's research has been recognized with several prestigious awards including the SIAM Polya Prize , the NAS Held Prize , and the AMS Foias Prize , highlighting his significant contributions to the field. His most recent work focuses on numerical linear algebra, spectral theory, and computational mathematics, with publications spanning from algorithmic foundations to applications in mathematical physics. He actively mentors graduate students, currently advising Rikhav Shah, Zack Stier, and Isabel Detherage. His past students include Jorge Garza Vargas (co-advised with Dan Voiculescu), Theo McKenzie, Jess Banks, Satyaki Mukherjee, Archit Kulkarni, Nick Ryder, and Aaron Schild (co-advised with Satish Rao). His research has been supported by the NSF and the Sloan Foundation. At Berkeley, Srivastava has been actively involved with the Simons Institute, participating in numerous programs including Complexity and Linear Algebra (Fall 2025), Sublinear Algorithms (Summer 2024), and several others dating back to 2013. He regularly teaches courses in mathematics, including Discrete Mathematics (Math 55) and Multivariable Calculus (Math 53), and runs a seminar on Discrete Analysis in Evans Hall.

Pavel PanchekhaView profile

Assistant Professor

• Programming Languages
• Program Synthesis
• Verification
• +4 more

Pavel Panchekha is an Assistant Professor in the School of Computing at the University of Utah, where he holds the Warnock Chair for Junior Faculty. His research spans programming languages, web browsers, and numerical analysis, with a focus on developing programming language techniques to address challenges across computer science. Dr. Panchekha received his educational training at prestigious institutions: PhD in Computer Science from the Paul G. Allen School for Computer Science and Engineering at the University of Washington, advised by Michael D. Ernst and Zachary Tatlock BS in Mathematics from MIT Panchekha's research program has two major thrusts. First, he works on web browser internals , with projects including fuzzing layout invalidation, multi-tenant garbage collection, and optimizing 2D graphics. He is also authoring a textbook on web browsers that informs much of this research. Second, he focuses on automatic numerical analysis , with projects such as automatic accuracy improvement, synthesis via term rewriting, scalable static accuracy analysis, and math library implementation. He leads the FPBench and Herbie projects, which are major deployments of his research. His scholarly output demonstrates consistent contributions across programming languages, verification, and numerical methods. Recent work shows a growing emphasis on bidirectional typing systems, layout invalidation in browsers, and robust floating-point error analysis. His publications reveal a trajectory from foundational work on floating-point accuracy (notably the Herbie tool that won a Distinguished Paper Award at PLDI 2015) toward more comprehensive systems for program synthesis, verification, and browser optimization. Panchekha has received significant recognition for his research contributions: NSF Fellowship ARCS Foundation Fellowship Adobe Research Fellowship Wissner-Slivka Foundation Fellowship 2015 PLDI Distinguished Paper Award for work on the Herbie numerical analysis and repair tool As an advisor, Panchekha mentors a substantial group of students across multiple levels. He currently advises six students: Marisa Kirisame (PhD), Bhargav Kulkarni (PhD), Yumeng He (PhD), Artem Yadrov (MS), Jesus Ponce (BS), and Jonas Regehr (BS). Previously, he has advised over twenty students including PhD candidates like Ian Briggs and numerous MS and BS students. His advising spans theoretical topics in programming languages and practical applications in web browsers and numerical computing. Panchekha leads research groups focused on programming languages applications to web browsers and numerical analysis. His work on the Herbie tool for floating-point accuracy improvement has become influential in the programming languages community, and his more recent work on browser internals is shaping how researchers understand and optimize modern web rendering engines. He is currently developing a textbook on web browsers that aims to synthesize knowledge about browser architecture and implementation.

• Topological Quantum Computing
• Quantum Many-Body Physics
• Condensed Matter Physics
• +4 more

Jay D. Sau is a Professor of Physics at the University of Maryland, College Park, and Co-Director of the Joint Quantum Institute (JQI). His research focuses on theoretical condensed matter physics, particularly topological quantum computing, quantum many-body systems, and Majorana fermions. He holds affiliations with the Condensed Matter Theory Center (CMTC) and JQI. Sau received his Ph.D. from UC Berkeley in 2008. His work bridges theoretical concepts in topological materials, superconductivity, and quantum information processing. Research Interests: Sau's primary interests include applying topological principles to solid-state and cold-atomic systems for quantum computation. Key areas include topological superconductivity, Majorana fermions, quantum Hall effects, and spin-orbit coupled systems. His group explores phenomena like topological degeneracy, Weyl semimetals, and cold atomic gases. Awards: He has been recognized with the National Science Foundation CAREER Award (2016) and the Sloan Research Fellowship (2016). His work has been published extensively in high-impact journals and covers topics ranging from Majorana physics to quantum phase transitions. Advising & Labs: Sau mentors graduate students including Tamoghna Barik, Stuart Thomas, Huan-Kuang Wu, and Shuyang Wang. His research group collaborates on projects at JQI and CMTC, focusing on experimental realizations of topological qubits and quantum devices.

Yingfei XiongView profile

Associate Professor

• Software Engineering
• Programming Languages

Yingfei Xiong is an active Associate Professor at Peking University, China, specializing in software engineering and programming languages. With a consistent research trajectory from 2013 through 2026, Xiong has established themselves as a prominent figure in the software engineering research community, regularly contributing to top-tier conferences including SPLASH, ICSE, ASE, and PLDI. Dr. Xiong's research primarily focuses on program synthesis, automated program repair, and software analysis techniques. Their work bridges theoretical programming language concepts with practical software engineering applications, particularly in developing novel approaches for code generation, bug fixing, and program optimization. The research demonstrates strong interdisciplinary connections between traditional software engineering, programming languages theory, and emerging AI techniques. Analysis of Xiong's publication trends reveals a clear evolution in research focus, beginning with foundational work in API transformations and program adaptation around 2013-2016, shifting toward program repair techniques from 2017-2020, and most recently incorporating machine learning and neural approaches into program synthesis and repair (2021-2026). The work consistently addresses practical challenges in software development while maintaining theoretical rigor, with increasing integration of AI techniques in recent years. Dr. Xiong has served in various leadership roles across the software engineering conference ecosystem, including program committee membership and session chair positions at major conferences. Their extensive service demonstrates recognition by peers as a subject matter expert in software engineering and programming languages research. While specific grant information isn't detailed in the provided text, the sustained publication record suggests successful research funding.

Junhong ChenView profile

Professor

• Hybrid Nanomaterials
• 2D Nanomaterials
• Chemical and Biological Sensors
• +3 more

Junhong Chen is the Crown Family Professor of Molecular Engineering at the University of Chicago's Pritzker School of Molecular Engineering and Lead Water Strategist at Argonne National Laboratory. His research focuses on hybrid nanomaterials, 2D materials, sensors for chemical/biological molecules, and energy devices. He has pioneered innovations in real-time water sensing and energy storage, with applications in environmental sustainability and healthcare. Chen holds a PhD from the University of Minnesota (2002) and a postdoc from Caltech (2003). He previously directed the NSF Industry-University Cooperative Research Center on Water Equipment & Policy and served as a NSF program director. Education: PhD in Mechanical Engineering (2002, University of Minnesota), Postdoc in Chemical Engineering (2002–2003, Caltech) Research Interests: Nanomaterials, Sensors, Energy Storage, Water Pollution Control Awards: Fellow of National Academy of Inventors, ASME, IAAM Medal, Wisconsin Innovation Award (2016) Chen's lab group develops nanosensors and energy devices using molecular engineering, with a focus on scalable manufacturing and AI integration. Recent work includes graphene-based sensors for real-time water monitoring and novel battery technologies. His research also addresses global challenges like PFAS contamination and sustainable manufacturing.

Aydin AysuView profile

Associate Professor

• Cybersecurity
• Hardware-Based Security
• Applied Cryptography
• +7 more

Aydin Aysu is an Associate Professor at the Department of Electrical and Computer Engineering, College of Engineering, North Carolina State University. His research focuses on hardware-based security , applied cryptography , and computer architecture , with an emphasis on secure systems to counter advanced cyber threats. Ph.D. in Computer Engineering, Virginia Tech (2016) M.S. in Electrical Engineering, Sabanci University, Turkey (2010) B.S. in Microelectronics Engineering, Sabanci University, Turkey (2008) Aysu’s work addresses hardware vulnerabilities through secure design automation, side-channel attack mitigation, and next-generation cryptographic systems. His research extends to AI/ML security , FPGA security , and quantum-resistant cryptography . Notable scientific awards include: NSF CAREER Award (2020) University Faculty Scholars (2024) Bennett Faculty Fellow Award (2020) Best Paper Awards at DATE Conference (2020), ACM GLSVLSI (2019), and others Aysu leads the Hardware Cybersecurity Research Lab (HECTOR) , focusing on pre-silicon security analysis, secure accelerator sharing, and societal impacts of cybersecurity. He actively mentors Ph.D. students and collaborates on funded research projects like the SATC: CORE: SMALL grant.

• Ocean Renewable Energy
• Robotics
• Biomechanics
• +2 more

Dr. Boyin Ding is an Associate Professor at the University of Adelaide , serving as Academic Director at Haide College and researcher in the Mechanical Engineering department within the Faculty of Sciences, Engineering and Technology. He leads the Wave Energy Research initiative established in 2014, while also contributing to Robotics and Biomechanics through his work with the Flinders Medical Device Research Institute. Research Areas: Ocean Wave Energy Harvesting Control Systems for Renewable Energy 6DOF Robotic Testing Spine Biomechanics Transnational Education Programs Key Collaborations: Australia-China Joint Research Centre for Offshore Wind & Wave Energy Acoustics, Vibration and Control Research Group Scientific Awards: Australian Endeavour Fellowship Malcolm Kinnaird Engineering Excellence Award (2012) His recent publications focus on hybrid offshore energy systems, nonlinear hydrodynamics in wave energy converters, and biomechanical testing technologies. He has developed control algorithms for floating offshore wind-wave systems and pioneered 6DOF robotic platforms for medical applications. As an eligible PhD supervisor, he actively collaborates with global industries and academic institutions.

• Computer Architecture
• Accelerated Machine Learning
• Computer Science Education
• +3 more

Thomas Yeh is an Assistant Professor of Teaching in the Department of Computer Science at the University of California, Irvine. His academic background includes a Ph.D. in Computer Science from UCLA and a BS in Electrical Engineering and Computer Science from UC Berkeley. Prior to academia, he gained industry experience across research, architecture, design, verification, marketing, and management roles. His educational credentials: Ph.D. in Computer Science, UCLA BS in Electrical Engineering and Computer Science, UC Berkeley Dr. Yeh's research spans computer architecture, accelerated machine learning, and computer science education. In architecture, he pioneers error-tolerant physics simulation and heterogeneous computing. His ML work focuses on adaptive precision techniques for energy-efficient acceleration. In education, he develops interactive tools for novice programmers and experiential learning frameworks for computer architecture. His cross-disciplinary approach bridges hardware-software co-design with pedagogical innovation. Publication trends reveal consistent focus on computational efficiency across physics simulation, ML acceleration, and educational technology. His work connects real-time systems optimization with emerging AI applications, particularly in interactive environments and physics-based animation. No scientific awards are documented in the provided materials. While advising details and grant funding specifics are absent from available information, his industry-academia transition informs practical research directions. Teaching responsibilities include core courses like Introduction to CS, Data Structures, and Efficient ML Computing. Research infrastructure details remain unspecified, though his publications suggest collaborations in physics simulation and heterogeneous computing environments.

Christian ZemanView profile

Lecturer

• Climate Modeling
• Weather Simulation
• Deep Convection
• +3 more

Dr. Christian Zeman serves as a Lecturer at the Department of Environmental Systems Science, ETH Zurich, based at the Institute for Atmospheric and Climate Science (CHN N 17.1) in Zurich, Switzerland. His research focuses on high-resolution atmospheric modeling with emphasis on kilometer-scale climate simulations and deep convection processes. Zeman's work centers on advancing regional climate modeling capabilities through rigorous model verification techniques and convection-resolving simulations. His research addresses critical challenges in simulating complex phenomena like island-induced vortex streets, tropical climate dynamics, and the impacts of reduced floating-point precision on model accuracy. Key methodologies include ensemble-based statistical verification and systematic model calibration for improved predictive reliability. Analysis of his 2020-2025 publications reveals a consistent trajectory toward higher-resolution climate modeling, with significant contributions to model intercomparison frameworks and computational efficiency optimization. His research bridges theoretical atmospheric science with practical applications in regional climate projection, particularly for island systems and tropical regions. Zeman operates within Prof. Christoph Schär's research group at ETH Zurich, contributing to cutting-edge developments in the Consortium for Small-scale Modeling (COSMO) and Integrated Forecasting System (IFS) frameworks. His work supports ETH Zurich's leadership in high-resolution climate simulation and verification methodologies.

Zachary TatlockView profile

Associate Professor

• Programming Languages
• Formal Verification
• Compilers
• +9 more

Zachary Tatlock is an Associate Professor at the Paul G. Allen School of Computer Science & Engineering at the University of Washington, where he leads the Programming Languages & Software Engineering Group (PLSE) and the SAMPL Group. His research spans programming languages, formal verification, compilers, and computational fabrication. He is also an Amazon Scholar with AWS's Automated Reasoning Group and previously advised OctoML. Tatlock's work bridges theoretical foundations with practical systems, focusing on making it easier to write tricky code while ensuring correctness through rigorous proofs and measurements. PhD in Computer Science & Engineering, University of California, San Diego (2014) Thesis: Reducing the Costs of Proof Assistant Based Formal Verification Advisor: Sorin Lerner BS in Computer Science (Honors) and Mathematics, Purdue University (2007) Professor Tatlock's research focuses on the intersection of programming languages, formal methods, and systems. His work in compilers and formal verification aims to make it easier to write tricky code while ensuring correctness through rigorous proofs. He explores computational fabrication techniques that bridge digital design with physical manufacturing. His recent work on equality saturation (via the egg framework) has transformed program optimization and synthesis. Tatlock also investigates floating-point numerics, distributed systems verification, and hardware/software co-design, always seeking to balance theoretical rigor with practical implementation. Tatlock's recent publications demonstrate a strong focus on equality saturation techniques (egg framework), computational fabrication, and verified systems. His work increasingly integrates machine learning with program analysis and synthesis. There's a clear trajectory toward more practical applications of formal methods in real-world systems, particularly in numerical computing and fabrication. His research group has made significant contributions to e-graph technology, floating-point accuracy, and the verification of distributed systems. Distinguished Paper Award for Rewrite Rule Inference Using Equality Saturation (OOPSLA 2021) Spotlight Paper Award for Dynamic Tensor Rematerialization (ICLR 2021) Distinguished Paper Award for egg: Fast and Extensible Equality Saturation (POPL 2021) Faculty Appreciation for Career Education & Training (FACET) Award (2020) NSF CAREER Award: Verifying Distributed System Implementations (2017) Distinguished Paper Award for Automatically Improving Accuracy for Floating Point Expressions (PLDI 2015) Distinguished Teaching Award Nomination (2015) Professor Tatlock has advised numerous doctoral, master's, and undergraduate students who have gone on to prominent positions in academia and industry, including faculty positions at the University of Utah and Brown University, and leadership roles at companies like OctoML and Certora. His research is supported by significant funding from NSF, DARPA, DOE, and industry partners, totaling millions of dollars. Current grants include projects on computer-aided reasoning, formal verification, computational fabrication, and machine learning systems. He has served on numerous program committees and organized workshops including FPTalks, EGRAPHS, and PNW PLSE. As co-leader of the Programming Languages & Software Engineering (PLSE) research group and affiliate of the SAMPL Group at the University of Washington, Tatlock has developed influential tools including egg (an equality saturation toolkit), Carpentry Compiler, and Odyssey. His group actively collaborates with industry partners including Amazon Web Services, where he serves as an Amazon Scholar. The group has made significant contributions to equality saturation, floating-point accuracy, program synthesis, and computational fabrication, with applications ranging from compiler optimization to 3D printing.

Ahmed HemaniView profile

Professor

• Computer Engineering
• Embedded Systems
• Hardware Acceleration
• +5 more

Professor Ahmed Hemani is a faculty member at the Division of Electronics and Embedded Systems, KTH Royal Institute of Technology, affiliated with the Digital Futures Faculty. He holds the role of PI for the project 'New Chip Architectures for Industrial Vision' and leads research in reconfigurable computing, memristor-based systems, and hardware acceleration for AI and edge computing. His work bridges theoretical computer science with practical VLSI design and embedded systems development. He actively contributes to cross-disciplinary initiatives at Digital Futures, a joint center with Stockholm University and RISE Research Institutes of Sweden focused on digital innovation. His research emphasizes scalable FPGA/HPC architectures, low-power neuromorphic systems, and optimization techniques for custom silicon solutions. Current projects include a Lego-inspired edge AI framework and memristor-driven MIMO acceleration. Teaching responsibilities span advanced courses in SOC design, digital system verification, and embedded systems. He supervises advanced-level degree projects across computer engineering and ICT innovation specializations, emphasizing hands-on hardware-software co-design methodologies. Recent publications highlight innovations in memristor applications, FPGA-based acceleration, and reconfigurable architectures for neural networks and bioinformatics. His work addresses challenges in dark silicon utilization, energy-efficient computation, and high-performance embedded systems.

• Offshore Renewable Energy Systems
• Wave Power Farm Modeling
• Extreme Weather Resilience
• +3 more

Malin Göteman is an Associate Professor at the Department of Electrical Engineering, Uppsala University. Her research focuses on offshore renewable energy systems, particularly modeling and optimizing large-scale wave power farms and analyzing their resilience to extreme weather conditions. Deputy Director, Center for Natural Disaster Studies (CNDS), Sweden Specialized in wave energy converter dynamics and hybrid offshore energy systems Collaborates on SPH-based numerical wave-current tanks and CFD validation Research Interests: She investigates wave energy farm interactions, hydrodynamic performance of floating platforms, extreme wave load modeling, and survivability strategies using machine learning. Her work spans renewable energy integration, coastal protection, and power system stability under extreme conditions. Recent Publications: Her 2025 articles address resilience of offshore energy systems to metocean extremes and reduced-order modeling via Bayesian design. Earlier works (2023-2024) cover SPH validations for floating wind-wave systems, neural network survivability approaches, and hybrid energy-water supply solutions. Collaborations: She works with international teams on projects like Lysekil wave energy test sites and DeepCwind floating platforms. Key areas include grid-connected wave parks, multi-fidelity surrogate modeling, and comparative studies on offshore wind dependencies.

• Formal Verification
• Software Testing
• Programming Languages
• +6 more

Alastair F. Donaldson is a Professor and Director of Research in the Department of Computing at Imperial College London, where he leads the FastPL research group. His academic career spans over a decade at Imperial, progressing from Lecturer (2011-2014) to Senior Lecturer (2014-2017), Reader (2017-2020), and Professor (2020-present). He has also held significant industry positions, including Founder and Director of GraphicsFuzz Ltd. (acquired by Google in 2018), Senior Software Engineer at Google (2018-2021), and Visiting Researcher at both Google and Microsoft Research Redmond. Donaldson earned his PhD from the University of Glasgow under Alice Miller, following a BSc (hons, First Class) in Computing Science and Mathematics. His postdoctoral work included an EPSRC Postdoctoral Research Fellowship at the University of Oxford and a Research Fellowship at Wolfson College Oxford. His research focuses on formal analysis, software testing and programming languages techniques for improving software reliability, with special emphasis on high-performance systems. Donaldson's work bridges theoretical foundations with practical applications, particularly in compiler testing, GPU programming verification, and metamorphic testing. His research has significantly influenced both academia and industry, as evidenced by the acquisition of his startup GraphicsFuzz by Google. Analysis of his recent publications reveals a strong focus on fuzz testing techniques applied across diverse domains including compilers, GPUs, cryptographic protocols, and large language models. His work consistently combines formal methods with practical testing approaches, addressing challenges in compiler correctness, memory models, and API verification across multiple platforms. 2017 BCS Roger Needham Award EPSRC Early Career Fellowship Best Paper Award, EuroSys 2024 Best Paper Award, MET 2021 Best Paper Award, IWOCL 2019 Best Paper Award, IISWC 2019 Best Paper Award, ICST 2016 ACM SIGSOFT Distinguished Paper Award, ISSTA 2023 ACM SIGSOFT Distinguished Paper Award, FSE 2017 ACM SIGPLAN Most Influential OOPSLA Paper Award, 2022 (for GPUVerify) As Director of Research in the Department of Computing, Donaldson oversees research strategy and development. His FastPL research group investigates novel techniques for programming, testing and reasoning about high performance systems. He has served on numerous program committees and held leadership roles including PLDI Steering Committee Chair (2022-2025) and PACM-PL Advisory Board member. His industry engagement includes testifying as an Expert Witness in the IBM UK Ltd v LzLabs GmbH & Ors case. The FastPL research group, which Donaldson leads, focuses on formal analysis, software testing and programming languages. The group has made significant contributions to compiler testing, GPU verification, and metamorphic testing techniques, with practical impact demonstrated by the acquisition of GraphicsFuzz. Current research directions include fuzzing for zero-knowledge proof circuits, randomized testing of decompilers, and systematic testing of large language models for code generation.

Charles GillanView profile

Senior Lecturer

• High Performance Computing (HPC)
• Artificial Intelligence (AI) in Healthcare
• Quantum Computing
• +4 more

Charles Gillan is a Senior Lecturer at Queen's University Belfast's School of Electronics, Electrical Engineering and Computer Science, affiliated with the High Performance and Distributed Computing department and the Institute of Electronics, Communications & Information Technology. His research bridges HPC systems, AI applications in healthcare, and computational physics. Key projects include managing ICU patient care via neural networks, exascale-ready mathematical packages, and edge computing architectures. Research interests focus on high-performance computing (HPC), quantum computing, real-time data analytics, and electron-molecule scattering simulations. Notable contributions include developing microserver architectures for edge analytics and advancing AI-driven clinical decision support systems. Gillan has collaborated on interdisciplinary projects like food authenticity testing using spectroscopy and improving ventilator management in intensive care units. Publications span AI in healthcare, HPC system design, and computational methods for physics problems. He has secured funding for initiatives such as the KTP partnership with Foods Connected Ltd and the HANDHELD olfactory detection project. Gillan's work emphasizes practical applications of advanced computing across healthcare, engineering, and cybersecurity domains.

• Embedded Systems
• Compilers
• Hardware-Software Co-Design
• +5 more

Prof. Dr. rer. nat. Rainer Leupers is a faculty member at RWTH Aachen University, chairing the Department of Software for Systems on Silicon. His research focuses on embedded systems, hardware-software co-design, virtual prototyping, and security in computing-in-memory architectures. He has published extensively on RRAM accelerators, logic locking, and neuromorphic security. Chair of Software for Systems on Silicon Research in hardware security and deep learning accelerators Recent publications on cross-tool virtual frameworks and thermal side-channel attacks His work bridges system-level modeling with practical security implementations, emphasizing reliability and performance in heterogeneous computing environments. Key trends in his 2025-2023 articles include compute-in-memory optimization, neural network inference efficiency, and security vulnerabilities in emerging hardware. Awards and formal recognitions are not explicitly detailed in the provided materials. He has not directly mentioned advising students or research grants in the given text fragments. The chair's contact information includes an office at ICT Cube 1, Electrical Engineering, Aachen, with direct email and website links.