Welcome!

About me

Curriculum Vitae

• PhD Student and Research Associate

  Since May 2023

  PhD Student and Research Associate in the Semantic Computing Group at the Center for Cognitive Interaction Technology (CITEC) at Bielefeld University

• Master of Science

  Summer semester 2021-winter semester 2022/23

  Master of Science with honours in computer science at TU Dortmund University, Germany
  Minor: German Studies

  • Research Assistant at Chair of Programming Systems, Department of Computer Science of TU Dortmund University, Germany
    Developing a neural network verification tool combining abstract interpretation and symbolic execution, generating verification benchmarks for the RERS Challenge with newly-developed code generator, visiting the International Symposium On Leveraging Applications of Formal Methods, Verification and Validation in 2021 and 2022 and presenting a paper at the conference
  • P⁵ Project Group Award of the Alumni der Informatik Dortmund e.V. for outstanding project groups with practice-relevant projects
  • Scholarship holder of the "Studienstiftung des deutschen Volkes" ("German Academic Scholarship Foundation")
  • Scholarship holder of the "Cusanuswerk"

• Bachelor of Science

  Summer semester 2018-winter semester 2020/21

  Bachelor of Science in computer science at TU Dortmund University, Germany
  Minor: German Studies

  • Student Assistant at Chair of Programming Systems, Department of Computer Science of TU Dortmund University, Germany
    
    From summer semester 2019
    • Implementing a paper about generating harder verification benchmarks for the RERS Challenge (working with Büchi Automata and Spot library)
    • Implementation of a code generator for a compiler applying optimizations based on ADD optimizations and benchmark of the results (working with ADD-Lib)
    • Involvement in paper reviews
    • Contributing to a paper on RERS Challenge
    • Generating verification benchmarks for RERS Challenge
  • Working Student at codecentric AG in Dortmund
    
    2018-2020
    Working on projects dealing with Smart City, Internet of Things (Arduino, Raspberry Pi, LoRaWAN, etc.), Amazon AWS, game development with Unity and Microsoft Kinect
  • Scholarship holder of the "Deutschlandstipendium" ("Germany Scholarship"), a national scholarship program providing funds for one year

• Federal Volunteer Service ("Bundesfreiwilligendienst")

  August 2017-January 2018

  Federal Volunteer Service ("Bundesfreiwilligendienst") at Geschwister-Scholl-Gymnasium Lüdenscheid

• Abitur

  2017

  Geschwister-Scholl-Gymnasium Lüdenscheid

• SchülerUni

  2013-2016

  Participation in the TU Dortmund University "SchülerUni" project, allowing high school students to attend regular university courses and to write regular exams

Hobbies and Volunteer Work

Current

• Since 2020
  During the Corona crisis participation in the #WirVsVirus-Hackathon of the German Federal Government as part of Teams "Machbarschaft", since then supporting the project in the area of bot hotline and fundraising, board member of Machbarschaft e.V. since 2022
• Since 2015
  2015-2016 participant of the annual events of Jugend hackt under the motto "Make the world a better place with code", since 2017 support as mentor
• Since 2014
  Part of the editorial team of the "PORTAL" parish newspaper
• Playing the piano since 2004 and the guitar since 2013

Former

• 2017, 2018, 2019
  Visit of the Chaos Communication Congress in Leipzig
• Valet of our Catholic Church St. Joseph and Medardus Lüdenscheid
• Scout at DPSG, tribe St. Medardus Lüdenscheid
• Kid Kune Do/Zhăngdà Kung Fu (youth form of Wing Chun Kung Fu)

Publications

A list of publications that I have contributed to:

• 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.

Articles and Reports (German)

• 01.12.2020
  Informatik an der TU Dortmund studieren? David erzählt, warum. More publishments: 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". More publishments: PDF
• 05.10.2018
  "SchülerUni der Technischen Universität Dortmund feiert ihr 15-jähriges Bestehen". More publishments: TU Dortmund University, focus.de (no longer online).
• 26.10.2015
  "David Schmidt aus Lüdenscheid – Schüler und erfolgreicher Student der TU Dortmund", Article Picture: "Prof. Metin Tolan, Prorektor Studium der TU Dortmund, zeichnete David Schmidt für sein erfolgreiches Studium aus." Picture: Roland Baege/TU Dortmund. More publishments: Westfalenpost, Der Westen, TU Dortmund University (no longer online).
• Portrait by "Talentscouting" of TU Dortmund University
• Portrait by project "Stipendienkultur Ruhr"

Contact

I am always happy to get in contact with other enthusiastic and like-minded people. I can be reached best by an E-Mail to contact [at] davidmschmidt.de

contact [at] davidmschmidt.de

Office

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

Postal Address

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