معرفی
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)
۰مقاله منتشرشده
Isitha Subasinghe در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
Chris HawblitzelMax Planck Institute for Software Systems · پژوهشگر- TTravis HanceMax Planck Institute for Software Systems · پژوهشگر
Chris HawblitzelInria · پژوهشگر
Andreea CosteaMax Planck Institute for Security and Privacy · استادیار- BBart JacobsKU Leuven · دانشیار
Jonathan ProtzenkoMax Planck Institute for Software Systems · پژوهشگر