π 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 β π 11 π 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
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 of Security Engineering; Head of UCL Information Security Research Group @sec.cs.ucl.ac.uk; Director Open Rights Group. πΒ https://mastodon.social/@sjmurdoch π¦Β @sjmurdoch πΒ https://murdoch.is/
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
aka Dr. MatthΓas PΓ‘ll Gissurarson | uncertified Haskell engineer
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
cs/psyc interested in pl/hci/cs ed | 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/
