Research Group for Testing, Validation and Analysis of Software-Intensive Systems (TVA)
Paul Bittner
pmbittner
Research assistant and PhD student | Likes Agda, Agdq, ADTs, ASTs, MtG
@TUBS-ISF Würzburg
Yasin Asadi
yasina-90
AI, ML, Data Science, Network ,and Hardware Engineer| Researcher, Lecturer, Reviewer | Passion about Data Science.
Tehran institute of technology Iran
Max Schweikart
schweikart
Computer Science student at Oxford, working on quantum stuff
University of Oxford United Kingdom
