Information Systems and Applied Computer Sciences

Software Technologies Research Group

Johannes Gareis, M.Sc.

Software Technologies Research Group

Otto-Friedrich-University of Bamberg

An der Weberei 5, Room 03.012

96047 Bamberg

Germany

Phone: +49 (0)951/863-3612

Fax: +49 (0)951/863-3855

E-Mail an Johannes Gareis


Research Interests

Logic; Software-Verification; Foundations of Computer Science.

CV

Since 2016: Research Assistent at the chair of software-engineering and programming languages at the university of Bamberg.

2015-2016: Software-Tester for fully automated tests in ambulance software at medatixx.

2014-2015: M.Sc. Applied Computer Science at the university of Bamberg.

2011-2014: B.Sc. Applied Computer Science at the university of Bamberg.