GradNova
Home
Find Faculty
Universities
Research
Home
/
Universities
/
Carnegie Mellon University
/
Stefan Mitsch
S
Stefan Mitsch
Adjunct Faculty
Computer Science
,
Carnegie Mellon University
Research Interests
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Semantic Web and Ontologies
Service-Oriented Architecture and Web Services
Academic Metrics
Links
Grants