Researchers

Kevin Laeufer

Research Associate ; Ph.D., University of California, Berkeley, 2024

Research Focus: Automated Testing, Verification and Debugging of RTL Hardware Designs

Research Areas: Computer Architecture & VLSI, Programming Languages, Software Engineering

Todd Schmid

Research Associate ; Ph.D., University College London

Research Focus: Computation theory

Research Areas: Theory of Computing

Weijia Song

Research Associate ; Ph.D., Peking University, 2014

Research Focus: Cloud Storage and file system, network and distributed system

Parisa Ataei

Postdoctoral Researcher ; Ph.D., Oregon State University, 2021

Research Focus: Compiler verification, language design and formalization, type systems

Research Areas: Database Systems, Programming Languages, Systems and Networking

Kiante Brantley

Postdoctoral Researcher ; Ph.D., University of Maryland, College Park, 2022

Research Focus: Machine learning, imitation learning, natural language processing

Research Areas: Artificial Intelligence

Shufeng Kong

Postdoctoral Associate ; Ph.D., University of Technology, Sydney (Australia)

Research Areas: Artificial Intelligence, Machine Learning

Lydia Liu

Postdoctoral Associate ; Ph.D., University of California, Berkeley, 2022

Research Focus: Machine Learning, algorithms, societal Impact

Research Areas: Artificial Intelligence, Machine Learning

Hyung-Chan An

Adjunct Professor ; Ph.D., Cornell University

Research Focus: Algorithms

Graeme Bailey

Adjunct Professor ; Ph.D., University of Birmingham

Research Focus: Mathematics

Le Duy (Andrew) Dung

Visiting Professor ; Ph.D., Singapore Management University, Singapore, 2020

Research Focus: Machine Learning, Recommender Systems, Optimization

Research Areas: Artificial Intelligence, Machine Learning

Christoph Kreitz

Adjunct Professor ; Ph.D., University of Hagen, 1984

Research Focus: Program synthesis, automated deduction, program verification, and formal logics