Research Associate

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

Postdoctoral Associate/Fellow

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

Visiting Professor/Fellow/Scientist

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