When real looks more AI filtered than AI filtered itself😵💫
10.09.2025 17:57 — 👍 4 🔁 0 💬 0 📌 0
🚀 I'll be launching the Formal Methods Engineering Lab (manchester-fme.github.io) – and I am hiring!
If you’re interested, feel free to reach out.
22.05.2025 12:54 — 👍 12 🔁 6 💬 0 📌 0
Super excited to share that I will be joining The University of Manchester (@manchester.ac.uk) as a Lecturer in Cyber Security (equivalent to Assistant Professor)!
The Systems and Software Security group at Manchester is already incredibly impressive, and I’m honored to help further strengthen it.
22.05.2025 12:50 — 👍 8 🔁 0 💬 3 📌 1
yea double column PLDI was great
05.02.2025 11:00 — 👍 1 🔁 0 💬 0 📌 0
INSAIT, Co-founder LogicStar AI, ex: Snyk Code, founder DeepCode, PhD @ ETH Zurich - ML for code, Google Maps directions
Principal Researcher and Co-founder at Diligence Security, previously at Consensys, ETH Zürich, UT Austin, Microsoft Research, and Google
Formal Methods Researcher, Senior Lecturer @ University of Exeter, Developer of Isabelle/Solidity, marmsoler.com
Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
Formal Methods, Proof Assistants, Software Security
CS Student at ETH Zürich
thomasgassmann.com
A proud Manchester institution with teaching, research and social responsibility at the heart of everything we do.
Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow.
Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Senior Lecturer at the University of Glasgow. Working on computing education, formal methods & theoretical computer science, work-based learning in software engineering, skills & competencies, widening participation in HE, equality, diversity & inclusion.
Living in Scotland. Complaining about stuff. Always hoping that things are changing for the better! Also: using #logic when trying to be precise. #UkraineMustWin #UkraineWillWin
phd student at @uwcse | niche perfume enthusiast and a foodie in training | 🇷🇸🇦🇪🇺🇸
tijanaminic1.github.io
HCI academic (retired) . Here for #politics #fbpe #RejoinEU #climatechange #ukulele #cats #bassguitar #space #gardening #IAmEuropean
Engineer + Researcher curious about software and computing. http://rvprasad.com
Assistant Professor at Virginia Tech || Compilers, Programming Languages, and HPC || https://kirshanthans.github.io
Security researcher with an interest in formal methods.
Building fuzzers @ Interrupt Labs |
Teaching @ Australian National University
https://adrian-herrera.com
Associate Teaching Professor at Carnegie Mellon University⚡️AI and developer tools⚡️ex startup, ex Microsoft
https://austinhenley.com/
