Prof. Nisansala Yatapanage — Research Profile
Australian National University · School of Computing
About
Prof. Nisansala Yatapanage at Australian National University School of Computing lists formal methods, concurrency, safety-critical systems, security as their registered research area.
Research keywords
Recent papers
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Shared topic: Logic, programming, and type systems
Cezary Kaliszyk 교수 연구실
University of Melbourne · School of Computing and Information Systems
Optimising Metamath Proofs for Human Working MemoryPreprintarXiv (Cornell University) · Sep 7Ralf Jung 교수 연구실
ETH Zurich · Department of Computer Science
Completeness of Iris-Based Program LogicsProceedings of the ACM on Programming Languages · Aug 17Clark Barrett 교수 연구실
Stanford University · Computer Science
CSLib: Building a Platform for AI-assisted Formal Verification in LeanNewOAPEN (The OAPEN Foundation) · Sep 1
Other labs in this department
- Alberto F. Martin 교수 연구실
high performance scientific computing, partial differential equations, finite elements, parallel preconditioning, scientific machine learning, GPU computing
- Alex Potanin 교수 연구실
programming language design, software verification, cyber security, trustworthy systems, quantum computing, software engineering
- Alwen Tiu 교수 연구실
formal methods, computational logic, automated theorem proving, computer security
- Amanda Barnard 교수 연구실
applied machine learning, artificial intelligence, data science, high performance computing, computational methods for physical sciences, materials, nanotechnology
- Antony Hosking 교수 연구실
programming languages, software systems, object persistence, database systems, memory management, garbage collection, managed language runtimes, optimizing compilers, software assurance
- Ben Swift 교수 연구실
computational art and music, data visualization, data science, human-computer interaction, machine learning