SoftVarE Group
Users following SoftVarE-Group
Mohammad Hossein Khoshechin Jorshari
joulook
Ph.D. Student @ MPI-SWS / Formal Verification / Distributed Systems / Concurrency Theory
Germany
Arda Fikret Azakli
ArdaFA
Software Developer && Business Information Systems student at Technical University of Braunschweig.
Technische Universität Braunschweig
Paul Bittner
pmbittner
Software Engineer and PhD | Likes Agda, Agdq, ADTs, ASTs, MtG
Salzgitter Digital Solutions Würzburg
Thomas M. Schöller
MaxAtoms
Master's Student,
Software Developer,
Computer Engineer
Ulm University, Germany
Elias Kuiter
ekuiter
University of Magdeburg Magdeburg, Germany
Lars
lars-licha
DevOps Engineer at Elektrobit Automotive (since 2023)
Studied Computer Science (B. Sc.) at University of Ulm (2019-2023)
Ulm, Germany
