Tomáš Gavenčiak
gavento
Researcher at @acsresearch working on AI theory of alignment, game theory, and complex LLM agent interactions.
Alignment of Complex Systems Prague
Adam Dingle
medovina
Faculty of Mathematics and Physics, Charles University Prague, Czech Republic
Czech Technical University
cvut
This GitHub organization is currently managed by FEE (jirutjak), but any other faculty is welcome to join it and propose their admin(s).
Prague, Czech Republic
Stephan Schulz
schulzs
I am a professor of computer science at Baden Wuerrtemberg Cooperative State University Stuttgart (DHBW Stuttgart).
William DeMeo
williamdemeo
I do formal methods and verification, universal algebra, complexity theory, artificial intelligence and functional programming in Agda, Lean, Scala and Spark.
IO @input-output-hk Boulder, CO, USA
Michael Rawson
MichaelRawson
computer scientist, automated theorem proving
University of Southampton UK
Milan Straka
foxik
Charles University, Institue of Formal and Applied Linguistics Czech Republic
Konstantin Schubert
KonstantinSchubert
As a child I built toy cities from LEGO, now I build software.
Berlin
PreviousNext