People

Faculty Members

Panagiotis Manolios
Associate Professor
PhD, University of Texas at Austin

pete@ccs.neu.edu
Personal Home Page

Professor Manolios' main research interest is mechanized formal verification and validation of computing systems. What guides his research is the vision that formal methods can be used to revolutionize the design and implementation of highly reliable, robust, and scalable systems in a variety of important application areas, ranging from large component-based software systems, hardware systems, aerospace systems, and computational biology to public health.

Professor Manolios' other areas of interest include programming languages, distributed computing, logic, software engineering, algorithms, computer architecture, aerospace, and pedagogy.