Presenter

Trung Nguyen Ba is pursuing his Ph.D. at the University of Massachusetts, Amherst. Trung is working at the intersection of software engineering and high performance computing. He is interested in building high-level tools and theoretical solutions for checking the correctness of programs.