Welcome!
I am an enthusiastic computer science student and programmer from Lüdenscheid, Germany. I have been interested in technology and how it works "under the hood" for more or less my whole life. My interest in programming started in 2010, when my 12 year old me bought a book named "Programmieren lernen!: Schritt für Schritt zum ersten Programm" (in English: "Learn to program!: Step by step to the first program") by Bernhard Wurm. Since then, computer science has never let go of me, so that my way led and leads me all over the digital world.
I finished my Bachelor's degree in computer science at TU Dortmund University in April 2021. Today I am working on a Master's degree in computer science at TU Dortmund University. You can read more about that under "about me".
As I am always happy to get in contact with like-minded people, you can find my contact information under "contact".
About me
Curriculum Vitae
-
Summer semester 2021-winter semester 2022/23Research Assistantat 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 -
Summer semester 2021-winter semester 2022/23Master's student of computer scienceat TU Dortmund University, Germany
P5 Project Group Award of the Alumni der Informatik Dortmund e.V. for outstanding project groups with practice-relevant projects -
March 2021-March 2023Scholarship holder of the
-
January 2021-March 2023Scholarship holder of the
-
Summer semester 2019-winter semester 2020/21Student Assistantat Chair of Programming Systems, Department of Computer Science of TU Dortmund University, Germany
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, assisting with writing a paper on RERS Challenge, generating verification benchmarks for RERS Challenge -
2018-2020Working Studentat 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/21Scholarship holder of the , a national scholarship program providing funds for one year
-
Summer semester 2018-winter semester 2020/21Bachelor's degree in computer scienceat TU Dortmund University, Germany
Subsidiary subject: German Studies -
August 2017-January 2018Federal 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 TU Dortmund University "SchülerUni" project), administration of school computers, development of a new school homepage, etc. -
2017Abiturat Geschwister-Scholl-Gymnasium Lüdenscheid
German Physical Society Abitur Award for best physicist of the year -
2013-2016Participation in the , 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/2015Participation in : 3. prize in the 2. round
- 2013/2014Participation in : 3. prize in the 2. round
Hobbies and Volunteer Work
-
Since 2020During the Corona crisis participation in the as part of , since then supporting the project in the area of bot hotline and fundraising, board member of Machbarschaft e.V. since 2022
-
2017, 2018, 2019Visit of the in Leipzig
-
Since 20152015-2016 participant of the annual events of under the motto "Make the world a better place with code", since 2017 support as mentor
-
Since 2014Part of the editorial team of the
-
Since 2013Playing theguitar
-
2008-2018Valetof our Catholic Church St. Joseph and Medardus Lüdenscheid
-
2008-2016Scoutat DPSG, tribe St. Medardus Lüdenscheid
-
2006-2013(youth form of Wing Chun Kung Fu, passed all 12 exams)
-
Since 2004Playing thepiano
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.2020Informatik 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 Dortmund, 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 kontakt [at] davidschmidt.devYou can find my public PGP key here. My Key-ID is 7C55C9F5E77227B8BDA91A642B1AFF31CE1DF003.
kontakt [at] davidschmidt.dev
Copyright © 2020 by David Schmidt