Peizun Liu
Peizun Liu
Peizun Liu
Peizun Liu
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
Biography
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.
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
Biography
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.
© 2024 Northeastern University
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
x
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...
© 2024 Northeastern University
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
x
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...