Pritam Shrestha
iheathers
Software Engineer | Specialising in JavaScript, Python, and SQL | Experienced in Application Development and Data Analytics
Vodafone Australia Perth, Australia
Sergey Alirzaev
l29ah
Self-employed FOSS activist, donations are welcome: bitcoin:bc1qr2u5jppl3xl5mxmqsfjekhu3xvhpg6n57pqmk2
xmpp:l29ah@bitcheese.net
C/Haskell/zsh ♥
freelancer I must be on another planet
Franck
franck44
Interested in formal methods, software verification, distributed systems, Dafny, Scala
Sydney
Lisa Oakley
lisaoakley
PhD student at Northeastern University working with Professor Alina Oprea on formal verification and machine learning.
Gabriel Dos Reis
GabrielDosReis
A mathematician interested in all aspects of software construction, with bias towards computational logic, formal methods, and the fun of building useful tools
Greater Seattle Area
Devi Prasad M
dischargedpremise
I love formal methods. I'm interested in using as well as teaching formal methods. I prefer Dafny for program verification, and SPIN for model checking.
Independent Consultant Udupi and Manipal. Karnataka. India
Ruth Hoffmann
ruthhoffmann
Lecturer at the School of Computer Science/University of St Andrews. Research includes graphs, groups, permutations patterns & formal verification
Daniel Spiewak
djspiewak
I write code, read papers, and think thoughts. Broadly, I'm interested in: type theory, parser theory, functional abstractions, data structures, performance.
@nvidia Chicago, IL
Kristin Rutenkolk
rutenkolk
CS PhD student at Heinrich-Heine-University. Interested in Formal Methods, Programming languages, specifications(?).
Paul Oppenheimer
peoppenheimer
Paul Oppenheimer is a philosopher, an Associate Editor of the Stanford Encyclopedia of Philosophy, and a Visiting Lecturer at Adelaide University.
Stanford University Adelaide, South Australia
Chris Bording
chrisbuwahpc
HPC Manager at the University of Western Australia. Supporting research computing across the university.
The University of Western Australia Perth Australia
Santiago Rentería
hermes2507
Researcher and developer working across interactive art, AI, and bioacoustics.