Thomas Lemberger
Passau, Germany
I'm currently a student of computer science (BSc) at the University of Passau, Germany. My main focus lies in software verification (contributor to http://cpachecker.sosy-lab.org/ since May 2014), software engineering and project management, always with a tendency to formal methods.
With these interests in mind I'm trying to make a positive, long lasting change on this earth.