Dirk Pattinson 교수 연구 프로필
호주국립대학교 · 컴퓨터학부
소개
호주국립대학교 컴퓨터학부 소속 Dirk Pattinson 교수의 등록된 연구 분야는 modal logics, coalgebraic semantics, automated reasoning, domain theory, computation over continuous data, logic and category theory입니다.
연구 키워드
같은 학과의 다른 연구실
- 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