Skip to main content

Peizun Liu

PhD Student

Peizun Liu


Office Location

440 Huntington Avenue
330 West Village H
Boston, MA 02115


  • MS in Software Engineering, Tsinghua University – China
  • BS in Information Management and Information System, Chengdu University of Technology – China

About Me

  • Hometown: Shandong, China
  • Field of Study: Formal Methods
  • PhD Advisor: Thomas Wahl


Peizun Liu is a PhD student in the Formal Methods program at Northeastern University’s Khoury College of Computer Sciences, advised by Professor Thomas Wahl. He is currently a member of the Formal Methods group. Before joining Northeastern, Peizun graduated with a master’s degree in software engineering from Tsinghua University and a bachelor’s degree in information management and information system from Chengdu University of Technology in China.

What are the specifics of your graduate education (thus far)?

I’ve been doing research.

What are your research interests?

I am interested in researching program analysis and verification. My current work is focused on formally analyzing concurrent programs. This work is based on concurrent Boolean programs, i.e., programs resulting from applying predicate abstraction to general concurrent software, and this consists of procedures run by many threads in parallel.

What’s one problem you’d like to solve with your research/work?

I would like to apply my research to verify concurrent programs used in real world.

What aspect of what you do is most interesting?

There are a lot of open problems and challenges in my research.

What are your research or career goals, going forward?

I would like to build some tools that can be used in verifying concurrent realistic software.