Prof. Michael Norrish — Research Profile
Australian National University · School of Computing
About
Prof. Michael Norrish at Australian National University School of Computing lists interactive theorem proving, programming language semantics, mechanised mathematics as their registered research area.
Research keywords
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