Skip to main content

Peizun Liu

PhD Student

Peizun Liu

Contact

Office Location

440 Huntington Avenue
330 West Village H
Boston, MA 02115

Biography

Peizun Liu is a PhD student in the Formal Methods program at Northeastern University’s College of Computer and Information Science, 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.

Education

  • 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

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

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.

Where did you study for your undergraduate degree?

Boston