معرفی
Karl Crary is an Associate Professor at the Computer Science Department of Carnegie Mellon University, where he also serves as Director of Doctoral Programs. His research focuses on Programming Languages, Security and Privacy, and Mechanized Metatheory, with emphasis on applying Type Theory to software verification and compiler design.
- Research
- Type Safety Proofs
- Certified Code
- Compiler Implementation
His recent publications explore Substructural Parametricity, Hashgraph Consensus Verification, and Focused Logic applications. He has advised students including Derek Dreyer, Chris Martens, and Tom Murphy, with software projects like Istari proof assistant and CM-Lex/CM-Yacc for hygienic code generation. Current teaching includes Constructive Logic (15-317/657) and HOT Compilation (15-417).
۰مقاله ثبتشده
