GradNova
Home
Find Faculty
Universities
Research
Home
/
Universities
/
Carnegie Mellon University
/
Henry DeYoung
H
Henry DeYoung
Affiliated Special Faculty
Computer Science
,
Carnegie Mellon University
Research Interests
Access Control and Trust
Cryptography and Data Security
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Academic Metrics
Links
Grants