Skip to content

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

@nunesgh
Gabriel H. Nunes nunesgh
Cotutelle Doctoral candidate in Computer Science at the Federal University of Minas Gerais (UFMG), Brazil, and at Macquarie University, Australia.

Sydney, NSW, Australia

@mahboobehad
Mahboobe mahboobehad

Iran

@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 had a passion for coding since I was a child, and that love for it continues to grow every day.
@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 Skywuuuu
A PhD student in Shanghai Jiao Tong University. Interested in Reinforcement Learning and Neurosymbolic

Shanghai, China