User talk:Claim

From Wikipedia, the free encyclopedia

My name is Clemens.

I am a PhD student in Computer Scienece at the Dortmund University of Technology, Germany. My research currently focuses on software quality assurance (formal methods for system verification) and human-machine interaction, as well as theoretical and applied computing security.