About
Isitha Subasinghe is a researcher affiliated with UNSW Sydney, Australia. His work focuses on formal verification in programming languages, particularly systems programming and type systems.
Research Interests: Specializing in formal verification, software engineering, and code safety within the context of Rust programming and linear ghost types. His recent work explores automated reasoning and systems programming advancements.
Affiliation:
- UNSW Sydney (Primary Institution)
0Publications listed
Find Isitha Subasinghe elsewhere
Related Searches
You Might Also Like
Chris HawblitzelMax Planck Institute for Software Systems · Researcher- TTravis HanceMax Planck Institute for Software Systems · Researcher
Chris HawblitzelInria · Researcher
Andreea CosteaMax Planck Institute for Security and Privacy · Assistant Professor- BBart JacobsKU Leuven · Associate Professor
Jonathan ProtzenkoMax Planck Institute for Software Systems · Researcher