cryingshadow

Aachen, Germany

http://verify.rwth-aachen.de/stroeder/

Research and teaching assistant in computer science at RWTH Aachen University.