Felix Ulrich-Oltean
felixvuo
Research Associate (PostDoc) in Artificial Intelligence
University of York
Jip J. Dekker
Dekker1
OPTIMA Research Fellow working on @MiniZinc
Monash University Melbourne, Australia
Simon Cruanes
c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.
Imandra (@imandra-ai) washington DC
Markus N. Rabe
MarkusRabe
Researcher at Google, previously worked at UC Berkeley and Saarland University.
University of California, Berkeley Berkeley, CA, USA