Presenter

Jeff Huang is an associate professor in the Department of Computer Science and Engineering at Texas A&M University, where he currently leads the Origin-Oriented Programming (O2) Lab. His research interests encompass both theoretical foundations and system development in the areas of programming languages, formal methods and software engineering. Jeff is a leading expert in program analysis and concurrency, and has made important contributions to concurrency debugging and verification. He has received several distinguished awards including two Google Faculty Research awards, a Facebook Research award, a Mozilla Research award, a PLDI Distinguished Paper award, ACM SIGPLAN Research Highlights, ACM SIGSOFT Dissertation Award, DARPA Young Faculty Award, and NSF CAREER Award. Most recently, he was named as the 2019 ACM SIGSOFT Early Career Researcher for his outstanding contributions in the area of “theory and practice of debugging and verifying concurrent programs”.