Skip to content

@moves-rwth Chair for Software Modeling and Verification @ RWTH Aachen University

@mossbiscuits
Landon Taylor mossbiscuits
PhD student researching formal verification at Utah State University.

Utah

@Adil-Ahmadli
Adil Ahmadli Adil-Ahmadli
MSc. Software Systems Engineering RWTH Aachen University

Aachen, Germany

@gianricardo
Gian gianricardo
@khalilcharfi
Khalil Charfi khalilcharfi
I've been loving coding since I was a kid, and still do it today.
@TengshunYang
Yaaangts TengshunYang
@emmakatherina
Emma Ahrens emmakatherina
@zhaozj89
Zhenjie Zhao zhaozj89
@Mikksrund
srun Domn. Mikksrund
https://github.com/Mikksrund

@mikksrun1629 53 / M. 1 Mikaen Pattani 94220

@SobiaatNUST
SobiaatNUST
@JeffCarpenter
Jeff Carpenter JeffCarpenter

Canada

@AlexBork
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 and Neurosymbolic

Shanghai, China