GradNova
Home
Find Faculty
Universities
Research
Home
/
Universities
/
Montana State University
/
Charlie Murphy
C
Charlie Murphy
Assistant Professor
Computer Science
,
Montana State University
Research Interests
Automated Reasoning
Formal Methods
Logic
Programming Languages
Logic, Programming, and Type Systems
Formal Methods in Verification
Natural Language Processing Techniques
Parallel Computing and Optimization Techniques
Semantic Web and Ontologies
Academic Metrics
Links
Grants