Willkommen!
Ich bin ein begeisterter Informatik-Student und Programmierer aus Lüdenscheid und interessiere mich eigentlich schon mein ganzes Leben für Technik und wie sie funktioniert. Mein Interesse für die Programmierung begann, als ich mir 2010 mit 12 Jahren das Buch "Programmieren lernen!: Schritt für Schritt zum ersten Programm" von Bernhard Wurm kaufte. Ab diesem Zeitpunkt hat mich die Informatik nicht mehr losgelassen, sodass mich mein Weg kreuz und quer durch die digitale Welt führte und immer noch führt.
Mein Bachelorstudium der Informatik an der TU Dortmund habe ich im April 2021 abgeschlossen. Heute arbeite ich an einem Master-Abschluss in Informatik an der TU Dortmund. Mehr zu mir gibt es unter "Über mich".
Da ich mich immer über den Austausch mit Gleichgesinnten freue, finden Sie unter "Kontakt" meine Kontaktdaten.
Über mich
Curriculum Vitae
-
Sommersemester 2021Wissenschaftliche Hilfskraftam Lehrstuhl 5 für Programmiersysteme der Fakultät Informatik der TU Dortmund
-
Seit Sommersemester 2021Master-Studium der Informatikan der TU Dortmund
-
Seit März 2021Stipendiat der
-
Seit Januar 2021Stipendiat des
-
Sommersemester 2019-Wintersemester 2020/21Studentische Hilfskraftam Lehrstuhl 5 für Programmiersysteme der Fakultät Informatik der TU Dortmund
Umsetzung eines Papers zur Generierung schwierigerer Benchmarks für die RERS Challenge (Arbeit u.A. mit Büchi-Automaten und der Spot-Bibliothek), Programmierung eines Code-Generators für einen Compiler auf Basis von ADD-Optimierungen und Benchmark der Ergebnisse (Arbeit mit u.A. der ADD-Lib), Beteiligung an Paper-Reviews, Mitarbeit an einem Paper zur RERS Challenge, Generierung von Verification-Benchmarks für die RERS Challenge -
2018-2020Werkstudentfür die codecentric AG am Standort Dortmund
Arbeit in den Bereichen Smart City, Internet of Things (u.A. Arduino, Raspberry Pi, LoRaWAN), Amazon AWS, Spieleentwicklung mit Unity3D und Microsoft Kinect - Förderjahre 2018/19, 2019/20 und 2020/21Stipendiat des
-
Sommersemester 2018-Wintersemester 2020/21Bachelor-Abschluss in Informatikan der TU Dortmund
Nebenfach: Germanistik im Einzelfall -
August 2017-Januar 2018Bundesfreiwilligendienstam Geschwister-Scholl-Gymnasium Lüdenscheid
In diesem Zuge u.A. Leitung einer Informatik-AG, Betreuung von Hochbegabten (z.B. bzgl. Teilnahme am Projekt SchülerUni), Administration der Schul-PCs, Mitentwicklung einer neuen Schulhomepage -
2017Abituram Geschwister-Scholl-Gymnasium Lüdenscheid
DPG-Abiturpreis der Deutschen Physikalischen Gesellschaft als jahrgangsbester Physiker -
2013-2016Teilnahme am Projekt , Erwerb von 5 Scheinen aus der Informatik und einem Schein aus der Germanistik.
- 2014/2015Teilnahme am : 3. Preis in der 2. Runde
- 2013/2014Teilnahme am : 3. Preis in der 2. Runde
Hobbys und Ehrenamtliches
-
Seit 2020Im Zuge der Corona-Krise Teilnahme am als Teil des , seitdem Unterstützung des Projektes in den Bereichen Bot-Hotline und Fundraising.
-
2017, 2018, 2019Besuch des in Leipzig
-
Seit 2015Von 2015-2016 Teilnehmer der jährlichen Veranstaltungen von unter dem Motto "Mit Code die Welt verbessern", seit 2017 Unterstützung als Mentor
-
Seit 2014Mitglied des Redaktionsteams unserer
-
Seit 2013Gitarrespielen
-
2008-2018Messdienerder katholischen Gemeinde St. Joseph und Medardus Lüdenscheid
-
2008-2016Pfadfinderbei der DPSG, Stamm St. Medardus Lüdenscheid
-
2006-2013(Jugendformen des Wing Chun Kung Fu, alle 12 Prüfungen abgelegt)
-
Seit 2004Klavierspielen
Publikationen
Eine Liste von Publikationen, an denen ich mitgewirkt habe:- Jasper, Marc, Maximilian Schlüter, David Schmidt, and Bernhard Steffen. "Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees." In Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 242–63. Springer International Publishing, 2021. https://doi.org/10.1007/978-3-030-83723-5_16.
- Howar, Falk, Marc Jasper, Malte Mues, David Schmidt, and Bernhard Steffen. "The RERS Challenge: Towards Controllable and Scalable Benchmark Synthesis." International Journal on Software Tools for Technology Transfer, June 24, 2021. https://doi.org/10.1007/s10009-021-00617-z.
Artikel und Berichte
-
01.12.2020Informatik an der TU Dortmund studieren? David erzählt, warum. Weitere Veröffentlichungen: TU Dortmund
-
04.06.2020"Machbarschaft" schlägt Brücke zwischen Bedürftigen und Freiwilligen David Schmidt, Informatikstudent und Deutschlandstipendiat an der TU Dortmund, engagiert sich im Team "Machbarschaft". Weitere Veröffentlichungen: PDF
-
05.10.2018"SchülerUni der Technischen Universität Dortmund feiert ihr 15-jähriges Bestehen". Weitere Veröffentlichungen: TU Dortmund, focus.de (inzwischen nicht mehr online).
-
26.10.2015"David Schmidt aus Lüdenscheid – Schüler und erfolgreicher Student der TU Dortmund", Bild zum Artikel: "Prof. Metin Tolan, Prorektor Studium der TU Dortmund, zeichnete David Schmidt für sein erfolgreiches Studium aus." Bild: Roland Baege/TU Dortmund. Weitere Veröffentlichungen: Westfalenpost, Der Westen, TU Dortmund (inzwischen nicht mehr online).
-
Porträt des Talentscoutings der TU Dortmund
-
Porträt des Projektes Stipendienkultur Ruhr
Kontakt
Ich freue mich immer über Kontakt zu anderen begeisterten Menschen und Gleichgesinnten. Am besten bin ich per E-Mail an kontakt [at] davidschmidt.dev zu erreichen.Mein öffentlicher PGP-Schlüssel ist hier zu finden. Meine Schlüssel-ID ist 7C55C9F5E77227B8BDA91A642B1AFF31CE1DF003.
kontakt [at] davidschmidt.dev
Copyright © 2020 by David Schmidt