Markus Großer
Angestellt, Software-Entwickler Embedded Systems, SCANLAB GmbH
Puchheim, Deutschland
Werdegang
Berufserfahrung von Markus Großer
Ausbildung von Markus Großer
3 Jahre, Okt. 2017 - Sep. 2020
Informatik
Technische Universität München
Hauptschwerpunkt: Formale Methoden und ihre Anwendungen Nebenschwerpunkte: Robotik; Rechnerarchitektur, Rechnernetze und Verteilte Systeme Tutor für Funktionale Programmierung und Verifikation Masterarbeit: Implementation and Evaluation of a Connection-Based Theorem Prover in Isabelle September – Dezember 2018: Auslandssemester an Universität Oulu, Schwerpunkt auf Signalverarbeitung und Embedded-Systemen
3 Jahre, Okt. 2014 - Sep. 2017
Informatik
Technische Universität München
Anwendungsfach: Elektrotechnik und Informationstechnik Tutor für Grundlagen: Algorithmen und Datenstrukturen und Funktionale Programmierung und Verifikation Bachelorarbeit: Verification of Selected Efficient Algorithms in Discrete Mathematics
Sprachen
Deutsch
Muttersprache
Englisch
Fließend