Research Seminar on Formal Mathematics
It was fun learning about the cool projects in Formal maths happening in Heidelberg too! See here for more details on the seminar series: matematiflo.github.io/FormalMathSe... Thanks to Florent and Judith for the invitation to talk!
18.07.2025 14:54 — 👍 0 🔁 0 💬 0 📌 0
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
18.07.2025 14:51 — 👍 0 🔁 0 💬 1 📌 0
Registration for this closes on Monday the 17th of March!
13.03.2025 14:19 — 👍 1 🔁 0 💬 0 📌 0
Great to be a part of this programme this year - thanks to @whiteroseuc.bsky.social for hosting! Really enjoyed connecting with other postdocs across Leeds, Sheffield, and York at the first workshop last week, and looking forward to the next two workshops over the coming months.
05.03.2025 13:47 — 👍 2 🔁 1 💬 1 📌 0
Please add me!
05.03.2025 13:18 — 👍 1 🔁 0 💬 0 📌 0
ITP '25
16th International Conference on Interactive Theorem Proving - ITP'25
Reykjavik, Iceland, 27 September-3 October 2025
Second call for papers
The ITP conference series is concerned with all aspects of interactive
theorem proving [...] icetcs.github.io/frocos-itp-t...
04.03.2025 15:49 — 👍 0 🔁 0 💬 0 📌 0
MGS 2025
I'm excited to be one of the lecturers for this year's Midlands Graduate School (MGS) in Sheffield! MGS is primarily for first and second year PhD students in Computer Science Foundations, but is open to anyone interested in the topics. More details are available here: tinyurl.com/MGS-2025
29.01.2025 11:08 — 👍 1 🔁 0 💬 0 📌 1
Senior Lecturer in the School of Computer Science and Engineering at the University of New South Wales
Assistant Professor at the Department of Computer Science, University of Liverpool.
https://lutzoe.github.io/
Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. Formal Methods, Security, Safety, Theorem Proving, Formal Semantics, http://logicalhacking.com / @adbrucker@fediscience.org
(he/him) Postdoc at the University of Maryland
I make tools that help developers to build trust in their software using techniques from PL, SE, and HCI.
Currently on the academic job market, looking for tenure-track positions!
https://harrisongoldste.in
Training initiative of @costprogramme.bsky.social
to support COST Action networks. We organise training, workshops and webinars for COST Action participants. #COSTAcademy
The official account of the School of Computer Science at the University of Sydney.
🔗 https://www.sydney.edu.au/engineering/schools/school-computer-science.html
Professor of Logic and Algorithms @cst.cam.ac.uk. Fellow @robinsoncollege.bsky.social. Theoretical computer scientist. News junkie. Parent of teenagers.
The world's leading venue for collaborative research in theoretical computer science. Follow us at http://YouTube.com/SimonsInstitute.
theoretical computer sorcery and theorem potions · she/they/e
wendigotyp.es
We work collaboratively across the universities of Leeds, Sheffield, and York, to enable individuals from all backgrounds to thrive within our institutions.
https://whiterose.ac.uk
Supporting the Formal Mathematics revolution
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Researcher in Computer Science, IRIF, Université Paris Cité.
Topics of interest: proof assistants, ITP, ATP, teaching with proof assistants.
Official website: https://2025.programming-conference.org/
The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi25.sigplan.org/. Official hashtag this year: #PLDI2025. Posts by @konstantinoskallas.bsky.social and @lastland.bsky.social.
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Cambridge University Computer Science & Technology Department (aka the Computer Lab). We built the 1st usable programmable computer, offered the UK's 1st Computer Science degree, created the 1st webcam - and continue to advance the field today.
I'm a Research Scientist exploring the intersection of human-computer interaction, machine learning, and programming languages. barik.net.
The ACM Special Interest Group on Programming Languages.
