Dr. Tran's research interests are on Algorithms, Symbolic Computation, High Performance Computing, BioInformatics, Software Testing and Formal Verification. He is the PI of four US National Science Foundation (NSF) research grants, author/coauthor of 15 books and research collections as well as 61 peer-reviewed publications.