Regular biography
Dr Neel Krishnaswami is a Fellow at the University of Cambridge, affiliated with the Department of Computer Science and Technology. His research interests include Programming Languages, Semantics and Verification, Algorithms and Complexity, and Security Systems and Networking. He is a University Lecturer and holds the email address nk480@cl.cam.ac.uk. His profile page provides additional details about his academic work and contact information.
Scholar-generated biography
Neelakantan R. Krishnaswami is a researcher at the University of Cambridge, specializing in logic, programming languages, and semantics. His work explores the theoretical foundations of programming languages, focusing on type systems, semantics, and verification. Key areas include bidirectional typing, higher-order reactive programming, and separation logic. He has contributed to the development of formal semantics for systems such as ARMv8-a, RISC-v, and CHERI-MIPS. His research also addresses challenges in concurrency, memory safety, and correctness of software systems. Krishnaswami's publications cover topics like linear and dependent types, automatic differentiation, and the design of functional languages such as Datafun. His work emphasizes correctness, efficiency, and formal verification in programming language design.