People
Faculty Members
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 to hardware systems to aerospace systems to computational biology to public health. My other areas of interest include programming languages, distributed computing, logic, software engineering, algorithms, computer architecture, aerospace, and pedagogy.
Career Publication Highlights
Please visit Professor Manolios' personal home page for his research, teaching, publications and more.