Chelsea Edmonds
@cledmonds.bsky.social
Lecturer at UWA working on proof assistants, formal verification & security. CS Education Advocate. Cambridge Australia Scholar Alumni, PhD, AFHEA. Views are my own.
Exploring campus after my first day as a Lecturer at UWA today. Pretty nice view to end a work day!
November 3, 2025 at 11:46 AM
Exploring campus after my first day as a Lecturer at UWA today. Pretty nice view to end a work day!
It was great to be invited to visit the Mathematikon @uniheidelberg.bsky.social earlier this week to talk about formal maths in Isabelle and my past PhD work as part of their research seminar series on formal mathematics! #postdoclife #IsabelleHOL #FormalMaths
July 18, 2025 at 2:51 PM
It was great to be invited to visit the Mathematikon @uniheidelberg.bsky.social earlier this week to talk about formal maths in Isabelle and my past PhD work as part of their research seminar series on formal mathematics! #postdoclife #IsabelleHOL #FormalMaths