Write a Blog >>
Panagiotis Manolios

Not registered as user yet

Name:Panagiotis Manolios
Bio:

I am a Professor in the College of Computer and Information Science at Northeastern University.My main research interest is mechanized formal verification and validation of computing systems. What guides my 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.

Affiliation:Northeastern University

Contributions

Show activities from other conferences

POPL 2016-profile
View general profile