معرفی
Shriram Krishnamurthi is a Professor in the Department of Computer Science at Brown University, specializing in programming languages, formal methods, and software education. His research focuses on language design, type systems, and pedagogical approaches to programming concepts.
Recent publications highlight his work in areas such as
- Rust trait error debugging
- formal methods teaching tools
- automated type error telemetry
- document calculus design
- logic misconceptions in education
۰مقاله منتشرشده
