Chair for Software Modeling and Verification @ RWTH Aachen University
Landon Taylor
mossbiscuits
PhD student researching formal verification at Utah State University.
Utah
Khalil Charfi
khalilcharfi
I’ve had a passion for coding since I was a child, and that love for it continues to grow every day.
Alex Bork
AlexBork
PhD student at the Software Modeling and Verification Group @ RWTH Aachen University
@moves-rwth Aachen
Skywuuuu
A PhD student in Shanghai Jiao Tong University.
Interested in Reinforcement Learning and Neurosymbolic
Shanghai, China