Liam DeVoe

PhD Student

Liam DeVoe
  • BS in Computer Science and Mathematics, University of Maryland 

Liam DeVoe is a doctoral student in the Khoury College of Computer Sciences at Northeastern University, based in Boston. He is advised by Jon Bell.

DeVoe joined Khoury College in the fall of 2023 to study program verification and testing techniques. He first became involved in the field in 2022 while working on property-based testing with Leonidas Lampropoulos at the University of Maryland. DeVoe is particularly interested in the spectrum of program accuracy checking techniques that range from formal verification to unit tests, as well as optimizing those processes to maximize accuracy and user-friendliness. 

DeVoe is also interested in further exploring machine learning, namely to determine whether machine learning models can be applied to difficult and obscure areas of computer science such as programming language research.