Willkommen!

Über mich

Curriculum Vitae

• Doktorand und wissenschaftlicher Mitarbeiter

  Seit Mai 2023

  Doktorand und wissenschaftlicher Mitarbeiter in der Arbeitsgruppe Semantische Datenbanken am Center for Cognitive Interaction Technology (CITEC) der Universität Bielefeld

• Master of Science

  Sommersemester 2021-Wintersemester 2022/23

  Master of Science mit Auszeichnung in Informatik an der TU Dortmund
  Nebenfach: Germanistik

  • Wissenschaftliche Hilfskraft am Lehrstuhl 5 für Programmiersysteme der Fakultät Informatik der TU Dortmund
    • Entwicklung eines Tools zur Verifikation von neuronalen Netzen mittels einer Kombination von abstrakter Interpretation und symbolischer Ausführung
    • Generierung von Verifikations-Benchmarks für die RERS Challenge mit neu entwickeltem Code-Generator
    • Besuch des International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) 2021 und 2022 sowie Präsentation eines Papers im Rahmen der Konferenz
  • P⁵-Projektgruppen-Praxis-Preis für herausragende praxisrelevante Projekte der Alumni der Informatik Dortmund e.V.
  • Stipendiat der Studienstiftung des deutschen Volkes
  • Stipendiat des Cusanuswerkes

• Bachelor of Science

  Sommersemester 2018-Wintersemester 2020/21

  Bachelor of Science in Informatik an der TU Dortmund
  Nebenfach: Germanistik

  • Studentische Hilfskraft am Lehrstuhl 5 für Programmiersysteme der Fakultät Informatik der TU Dortmund
    
    Ab Sommersemester 2019
    • 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 Verifikations-Benchmarks für die RERS Challenge
  • Werkstudent für die codecentric AG am Standort Dortmund
    
    2018-2020
    Arbeit in den Bereichen Smart City, Internet of Things (u.A. Arduino, Raspberry Pi, LoRaWAN), Amazon AWS, Spieleentwicklung mit Unity3D und Microsoft Kinect
  • Stipendiat des Deutschlandstipendiums

• Bundesfreiwilligendienst

  August 2017-January 2018

  Bundesfreiwilligendienst am Geschwister-Scholl-Gymnasium Lüdenscheid

• Abitur

  2017

  Geschwister-Scholl-Gymnasium Lüdenscheid

• SchülerUni

  2013-2016

  Teilnahme am Projekt SchülerUni der TU Dortmund

Hobbys und Ehrenamtliches

Aktuelles

• Seit 2015
  Von 2015-2016 Teilnehmer der jährlichen Veranstaltungen von
  Jugend hackt
  unter dem Motto "Mit Code die Welt verbessern", seit 2017 Unterstützung als Mentor
• Seit 2004
  Klavier
  und seit 2013
  Gitarre
  spielen

Ehemaliges

• 2020-2024
  Im Zuge der Corona-Krise Teilnahme am
  #WirVsVirus-Hackathon der Bundesregierung
  als Teil des
  Teams "Machbarschaft"
  , seitdem Unterstützung des Projektes in den Bereichen Bot-Hotline und Fundraising, seit 2022 Teil des Vorstandes von Machbarschaft e.V.
• 2014-2023
  Mitglied des Redaktionsteams unserer
  Pfarreizeitung PORTAL
• 2017, 2018, 2019
  Besuch des
  Chaos Communication Congress
  in Leipzig
• Messdiener
  der katholischen Gemeinde St. Joseph und Medardus Lüdenscheid
• Pfadfinder
  bei der DPSG, Stamm St. Medardus Lüdenscheid
• Kid Kune Do/Zhăngdà Kung Fu
  (Jugendformen des Wing Chun Kung Fu)

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

• 19.10.2023
  SchülerUni feiert 20-jähriges Bestehen Bild: Martina Hengesbach​/​TU Dortmund. Weitere Veröffentlichungen: Screenshot 1 Screenshot 2 Screenshot 3
• 17.10.2023
  20 Jahre SchülerUni - Meine Erfahrungen als Schülerstudent an der TU Dortmund. Weitere Veröffentlichungen: Screenshot 1 Screenshot 2
• 01.12.2020
  Informatik 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 Dort­mund, 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] davidmschmidt.de zu erreichen.

kontakt [at] davidmschmidt.de

Büro

CITEC 2-310
Cognitive Interaction Technology Center (CITEC)
Universität Bielefeld
Inspiration 1
33619 Bielefeld
Germany

Postanschrift

David Schmidt
Cognitive Interaction Technology Center (CITEC)
Universität Bielefeld
Inspiration 1
33619 Bielefeld
Germany