EN / DE

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

Picture of David Schmidt from Lüdenscheid, Germany

About me

Curriculum Vitae

Hobbies and Volunteer Work

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)

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.

Email symbol kontakt [at] davidschmidt.dev
ORCID symbol DBLP symbol ResearchGate symbol Google Scholar symbol
LinkedIn symbol GitHub symbol Devpost symbol