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
Research assistant and PhD student | Likes Agda, Agdq, ADTs, ASTs, MtG
@TUBS-ISF 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
