Chair for Software Modeling and Verification @ RWTH Aachen University
Users following moves-rwth
Josh
tiny-eng
I love working on new challenges. If you need help with any tasks, I’d be happy to connect.
Jevin Sweval
jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer. Previously Apple Pay Security.
Lafayette, Indiana
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
Skywuuuu
A PhD student in Shanghai Jiao Tong University.
Interested in Reinforcement Learning
Shanghai, China