Prof. Chelsea Edmonds — Research Profile

The University of Western Australia · Department of Computer Science and Software Engineering

This research profile is based on public faculty information. An independent lab and student recruitment have not yet been verified.

Information sourceChecked Oct 31, 2026

Considering this lab for grad school?

Save it to compare side by side with other labs, and keep your contact prep in one place.

What to prepare before emailing a PI

About

Prof. Chelsea Edmonds at The University of Western Australia Department of Computer Science and Software Engineering lists Formal verification, Formalised Mathematics, Security, Formal methods in software, Interactive proof assistants, programming languages as their registered research area.

Research keywords

Formal verificationFormalised MathematicsSecurityFormal methods in softwareInteractive proof assistantsprogramming languages

Other labs in this department

Ajmal Mian Lab
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 Lab
Bioinformatics, Computer graphics, Mobile and wireless networks, Optical computing, Parallel computing, Virtual reality and immersive environments
Arran Stewart Lab
Atif Mansoor Lab
Bruce Lu Lab
3D Spatial AI, 3D Geometry, Data Science
Daochang Liu Lab
Computer Vision, Generative AI, Healthcare Data Science

See all labs in this department