Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
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

Personal website: http://www.ccs.neu.edu/home/pete/

POPL 2016 Activities

POPL 2016-profile
View general profile