Panagiotis (Pete) Manolios
Panagiotis (Pete) Manolios
Panagiotis (Pete) Manolios
Panagiotis (Pete) Manolios
Labs and Groups
Labs and Groups
Research Interests
- Computer-aided modeling, verification, analysis, and synthesis of systems
- Formal methods
- Distributed computing
- Programming languages
- Software engineering
- Aerospace
Education
- PhD in computer science, University of Texas at Austin
- BS in computer science, Brooklyn College
Biography
Pete Manolios is a professor in the Khoury College of Computer Sciences at Northeastern University and leads the computer-aided reasoning group. What guides his research is the vision that formal methods can be used to revolutionize the design, analysis, and implementation of highly reliable, robust, and scalable systems in a variety of important application areas, including large component-based software systems, hardware systems, aerospace systems, and big data analytics. His group has been funded by DARPA, NASA, NSF, Boeing, BAE, AFRL, IBM, and SRC. Additionally, the group has developed several publicly available tools, including ACL2s, BAT, CoBaSA/Inez, 3SPIN, 3Murphi, and the Bloom Filter Calculator. Manolios is also an active consultant in the area of safety critical systems and DO-178C certification.
Manolios’ leadership positions in computer science and his research field of formal methods include serving as an associate editor of ACM Transactions on Design Automation of Electronic Systems, as a program and general co-chair for FMCAD, as a co-chair for ACL2, as a member of the steering committees for FMCAD and ACL2, and as a member of the IFIP working group 1.9/2.15 on Verified Software.
Research Interests
- Computer-aided modeling, verification, analysis, and synthesis of systems
- Formal methods
- Distributed computing
- Programming languages
- Software engineering
- Aerospace
Education
- PhD in computer science, University of Texas at Austin
- BS in computer science, Brooklyn College
Biography
Pete Manolios is a professor in the Khoury College of Computer Sciences at Northeastern University and leads the computer-aided reasoning group. What guides his research is the vision that formal methods can be used to revolutionize the design, analysis, and implementation of highly reliable, robust, and scalable systems in a variety of important application areas, including large component-based software systems, hardware systems, aerospace systems, and big data analytics. His group has been funded by DARPA, NASA, NSF, Boeing, BAE, AFRL, IBM, and SRC. Additionally, the group has developed several publicly available tools, including ACL2s, BAT, CoBaSA/Inez, 3SPIN, 3Murphi, and the Bloom Filter Calculator. Manolios is also an active consultant in the area of safety critical systems and DO-178C certification.
Manolios’ leadership positions in computer science and his research field of formal methods include serving as an associate editor of ACM Transactions on Design Automation of Electronic Systems, as a program and general co-chair for FMCAD, as a co-chair for ACL2, as a member of the steering committees for FMCAD and ACL2, and as a member of the IFIP working group 1.9/2.15 on Verified Software.
Recent Publications
Recent Publications
Khoury PhD Students
Khoury PhD Students
© 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...