Associate Professor in Logical Foundations and Formal Methods
-
University of Cambridge
- Cambridge, Cambridgeshire, UK
- http://www.jonmsterling.com
- @jonmsterling@mathstodon.xyz
Highlights
- Pro
Y11
XiaomingX
Software Dev @ X | Linux, Java, Spring, Python, Go, Next.js | Open Source Enthusiast | LLM Innovator | M.Sc. in Software Engineering 🚀
uhaka japan
SmartDev0331
SmartDev0331
AI Chatbot | Full-Stack | Machine Learning | LLM | Deep Learning | Python | Typescript
Mohammad Hossein Khoshechin Jorshari
joulook
Ph.D. Student @ MPI-SWS & RPTU /
Computer Science /
Interested in Formal Methods / Distributed Systems / Concurrency Theory
Germany
Pavlo Bondarenko
OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast
Denver, CO
Novus Nota
novusnota
Amateur Tree-sitter-sitter. Parsing and DX aficionado. If only you knew the power of the Dart side...
Remote
Calvin
creative-thinker7
Software Engineer with over 10 years of experience in web development
CA, United States
Cass Alexandru
cxandru
FP enthusiast. I like working with: Haskell - Emacs - Nix - LaTeX. Learning Agda. I sometimes use Bash, Python and have worked with Java, Scala, Isabelle & Coq.
Nijmegen, NL
CHENG KUN
ck76
一期一会
Software Engineering is about tradeoffs, there is no one right answer.
NEUQ -> Keio University China.Hebei -> China.Beijing -> Japan.Tokyo -> Japna.Kansai
Jelly Terra
jellyterra
18 yo. Passion with EE/CS.
Designing and trying to build one specific compiler.
Also design circuits in SpinalHDL.
Rizhao Experimental Senior High School Shandong, China
Rico
Rico1900
I am a student from Nanjing university, and I am now studying in a 4-year PhD program at NJU SE.
Nanjing University Nanjing
Edwin Ansari
edwinans
Software Engineer at @LexiFi.
Interested in [programming] languages, FP, formal verification, Persian and blockchain technologies.
@Lexifi Paris
Wojciech Rozowski
wkrozowski
PhD candidate in Programming Principles, Logic and Verification group at University College London
@UCL-PPLV London
PreviousNext