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.
👤 Joined on 17 November 2024
80
Followers
84
Following
19
Total Posts
📜 Kullanıcı Geçmişi
- 17 Kas 2024, 21:11
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@cledmonds.bsky.social
❤️ Beğendiği Gönderiler
We are lucky to have you as speaker. Looking very much forward to your talk today!
Show Post
Successfully defended my dissertation today. Now Dr. Joe!
Show Post
Please help us publicize TEAL: Tools for Educational Activities in Logic, a workshop associated w/ FLoC26. We have a novel design, focused on demos, discussion, and generally high-quality interaction rather than weak papers. See full details on our site! teal.cs.brown.edu/floc2026/
Show Post
Thrilled to be part of this new ARC Centre of Excellence, led by Prof. Nalini Joshi (@monsoon0.bsky.social) at #USyd: ARC Centre of Excellence in Mathematics for #Quantum Era Security and Trust (MathQUEST)!
Show Post
🎉PLDI'26 is already off to an incredible start, with a record breaking 398 paper submissions this year!🎉Let the reviewing fun begin!
Show Post