Alex Potanin 교수 연구 프로필
호주국립대학교 · 컴퓨터학부
소개
호주국립대학교 컴퓨터학부 소속 Alex Potanin 교수의 등록된 연구 분야는 programming language design, software verification, cyber security, trustworthy systems, quantum computing, software engineering입니다.
연구 키워드
같은 학과의 다른 연구실
- Alberto F. Martin 교수 연구실
high performance scientific computing, partial differential equations, finite elements, parallel preconditioning, scientific machine learning, GPU computing
- 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
- Bernardo Nunes 교수 연구실
web science, technology enhanced learning, search as learning, semantic web, linked data, information retrieval