Welcome!

About me

Hobbies and Volunteer Work

• 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
• 2017, 2018, 2019
  Visit of the
  Chaos Communication Congress
  in Leipzig
• 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 our
  parish newspaper PORTAL
• Since 2013
  Playing the
  guitar
• 2008-2018
  Valet
  of our Catholic Church St. Joseph and Medardus Lüdenscheid
• 2008-2016
  Scout
  at DPSG, tribe St. Medardus Lüdenscheid
• 2006-2013
  Kid Kune Do/Zhăngdà Kung Fu
  (youth form of Wing Chun Kung Fu, passed all 12 exams)
• Since 2004
  Playing the
  piano

Curriculum Vitae

• Since summer semester 2021
  Research Assistant
  at Chair of Programming Systems, Department of Computer Science of TU Dortmund University, Germany
• Since summer semester 2021
  Master's student of computer science
  at TU Dortmund University, Germany
• Since March 2021
  Scholarship holder of the
  Studienstiftung des deutschen Volkes (German Academic Scholarship Foundation)
• Since January 2021
  Scholarship holder of the
  Cusanuswerk
• Summer semester 2019-winter semester 2020/21
  Student Assistant
  at Chair of Programming Systems, Department of Computer Science of TU Dortmund University, Germany
  Implementing a paper about generating harder verification benchmarks for 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), part of paper reviews, assisting with writing a paper on RERS Challenge, generating verification benchmarks for RERS Challenge
• 2018-2020
  Working Student
  at codecentric AG in Dortmund
  Working on projects dealing with Smart City, Internet of Things (Arduino, Raspberry Pi, LoRaWAN, etc.), Amazon AWS, game development with Unity and Microsoft Kinect
• Funding years 2018/19, 2019/20 and 2020/21
  Scholarship holder of the
  Deutschlandstipendium (Germany Scholarship)
  , a national scholarship program providing funds for one year
• Summer semester 2018-winter semester 2020/21
  Bachelor's student of computer science
  at TU Dortmund University, Germany
  Subsidiary subject: German Studies
• August 2017-January 2018
  Federal Volunteer Service ("Bundesfreiwilligendienst")
  at Geschwister-Scholl-Gymnasium Lüdenscheid
  Leadership of a Computer Science-Club, support of the highly gifted (e.g. regarding participation in the "SchülerUni" project of TU Dortmund University), administration of school computers, development of a new school homepage, etc.
• 2017
  Abitur
  at Geschwister-Scholl-Gymnasium Lüdenscheid
  German Physical Society Abitur Award for best physicist of the year
• 2013-2016
  Participation in the project
  "SchülerUni" of TU Dortmund University
  , allowing high school students to attend regular university courses and to write regular exams, passing 5 exams in Computer Science and one exam in German Language and Literature
• 2014/2015
  Participation in
  33. Federal Computer Science Competition ("Bundeswettbewerb Informatik")
  : 3. price in the 2. round
• 2013/2014
  Participation in
  32. Federal Computer Science Competition ("Bundeswettbewerb Informatik")
  : 3. price in the 2. round

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", Bild zum Artikel: "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 kontakt [at] davidschmidt.dev

You can find my public PGP key here. My Key-ID is 7C55C9F5E77227B8BDA91A642B1AFF31CE1DF003.

kontakt [at] davidschmidt.dev