연구실 목록
Chelsea Edmonds 교수 연구 프로필
웨스턴오스트레일리아 대학교 · 컴퓨터과학·소프트웨어공학과
공개 교수 정보에 기반한 연구 프로필입니다. 독립 연구실 운영 및 학생 모집 여부는 아직 확인되지 않았습니다.
정보 출처2026. 10. 31. 확인
소개
웨스턴오스트레일리아 대학교 컴퓨터과학·소프트웨어공학과 소속 Chelsea Edmonds 교수의 등록된 연구 분야는 Formal verification, Formalised Mathematics, Security, Formal methods in software, Interactive proof assistants, programming languages입니다.
연구 키워드
Formal verificationFormalised MathematicsSecurityFormal methods in softwareInteractive proof assistantsprogramming languages
같은 학과의 다른 연구실
- Ajmal Mian 교수 연구실
Computer vision, Deep learning, Machine learning, 3D face recognition, 3D object recognition, 3D shape analysis, Hyperspectral imaging and analysis, Human action recognition, Image set classification, Video description
- Amitava Datta 교수 연구실
Bioinformatics, Computer graphics, Mobile and wireless networks, Optical computing, Parallel computing, Virtual reality and immersive environments
- Arran Stewart 교수 연구실
- Atif Mansoor 교수 연구실
- Bruce Lu 교수 연구실
3D Spatial AI, 3D Geometry, Data Science
- Daochang Liu 교수 연구실
Computer Vision, Generative AI, Healthcare Data Science