Beyond All Reason
beyond-all-reason
Free Real Time Strategy Game with a grand scale and full physical simulation in a sci-fi setting.
Fabian Greif
dergraaf
Ex-professional rocket (payload) scientist and still an embedded software developer. Self-appointed Yak shaver.
@DLR-RY
Winston Haaswijk
whaaswijk
Senior Principal Software Engineer at Cadence Design Systems, Inc. Previously a Doctoral Candidate researching novel primitives and methods for Logic Synthesis.
EPFL Lausanne
Markus N. Rabe
MarkusRabe
Researcher at Google, previously worked at UC Berkeley and Saarland University.
University of California, Berkeley Berkeley, CA, USA
Mate Soos
msoos
Model counting, SAT solving, symbolic execution, cryptography, and IT security
Berlin, Germany
Mathias Soeken
msoeken
Researcher in the areas of logic synthesis, quantum compilation, and formal verification.
@microsoft Switzerland