Panagiotis Manolios


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.

CCIS Faculty

The brightest and most innovative in the industry