mlte.de

Malte

Malte Schmitz

TODO Aktualisieren!

Ich studiere Informatik an der Universität zu Lübeck und schreibe zur Zeit meine Masterarbeit über verteilte Laufzeitverifikation auf Lego Mindstorms Robotern. Ich lebe in Schleswig-Holstein in Neuendeich und Lübeck. Neuendeich ist ein kleines Straßendorf mit etwa 500 Einwohnern in der Seestermüher Marsch direkt an der Elbe nordwestlich von Hamburg. Lübeck ist eine alte Hansestadt an der Ostsee nordöstlich von Hamburg.

Ich wurde am 17. März 1989 in Hamburg geboren und habe die ersten sieben Jahre meines Lebens in Hamburg gewohnt bis ich nach Neuendeich umgezogen bin. 2008 habe ich mein Abitur an der Ludwig-Meyn-Schule in Uetersen gemacht.

Ich interessiere mich für Laufzeitverifikation, Software- und Webentwicklung. Neben (oder nicht ausschließlich mit) der Informatik beschäftige ich mich mit Amateurfunk, Typografie und Printdesign, Geocaching und Modellbau.

Mail GitHub Twitter YouTube

Wünsche

Nur für den Fall, das jemand in die Situation kommt, mir etwas Gutes tun zu wollen und nicht so genau weiß wie: Mein Amazon-Wunschnzettel ist stets aktuell ;-)

Lebenslauf Malte Schmitz

Ich wurde am 17. März 1989 am frühen Morgen im Elim in Hamburg geboren und lebte bis zu meinem siebten Lensjahr in Hamburg Stellingen. Meine Mutter Eva-Maria ist Diplom-Theologin, mein Vater Karl-Heinz ist Diplom-Ingenieur der technischen Informatik und leidenschaftlicher Funkamateur.

Nach einem einjährigen Besuch der Vorschule an der katholischen Schule am Weiher begann meine Schulzeit 1995 mit der Einschulung an dieser Schule. Als ich dort die zweite Klasse besuchte, zog ich 1996 mit meiner Familie aus Hamburg weg in das kleine Straßendorf Neuendeich im Kreis Pinneberg in Schleswig-Holstein. Dadurch wurde ich umgeschult auf die Grund- und Hauptschule am Roggenfeld in der nächsten größeren Stadt Uetersen.

Nach der vierten Klasse wechselte ich 1999 auf die Ludwig-Meyn-Schule Gymnasium des Kreises Pinneberg in Uetersen und belegte dort als erste Fremdsprache ab der fünften Klasse Englisch und als zweite Fremdsprache ab der siebten Klasse Latein. Ab der siebten Klasse erhielt ich Physikunterricht und ab der neunten Klasse kam Chemie hinzu. Sowohl beide Fremdsprachen, als auch beide Naturwissenschaften belegte ich bis zum Ende meiner Schulzeit

2008 schrieb ich mein Abitur in den Leistungskursen Mathematik und Physik und den Prüfkursen Deutsch und Wirtschaft / Politik. Seit Oktober 2008 bin ich an der Universität zu Lübeck in dem Bachelorstudiengang Informatik mit dem Anwendungsfach Bioinformatik eingeschrieben und habe dort 2011 meine Bachelorarbeit zum Thema Transformation von regulärer Linearerzeit-Temporallogik in Praritätsautomaten geschrieben. Ich setzte mein Studium an der Uni Lübeck im Masterstudiengang Informatik mit der Vertiefung Algorithmik und Komplexität fort. Daneben besuchte ich verschiedene Vorlesungen aus dem Bereich der Softwarearchitektur und Verifikationstechniken und meines Nebenfaches Bioinformatik. Im August 2014 schloss ich mein Studium mit einer Masterarbeit zum Thema Verteilte Laufzeitverifikation auf eingebetteten Systemen ab.

Seit September 2014 bin ich wissenschaftlicher Miterarbeiter und Doktorand am Institut für Softwaretechnik und Programmiersprachen (ISP) und Mitglied der Graduate School for Computing in Medicine and Life Science an der Uni Lübeck.

TODO: Jobs

Interessen

Informatik

  • Formale Methoden
  • Temporale Logiken und Laufzeitverifikation
  • Automatentheorie
  • Komplexitätstheorie und Rekursionstheorie
  • Softwarearchitektur, -Desgin und UML
  • Artficial Life und maschinelles Lernen
  • Programmiersprachen, Parser und funktionale Programmierung

Softwareentwicklung

  • Anwendungsentwicklung
  • Webentwicklung
  • REST, SOA
  • Single Page Applications

Design

  • Webdesign
  • Webstandards und Barrierearmut
  • Satz und Layout
  • Typographie

Amateurfunk

Modellbau

Geocaching

Sprachen

Programmiersprachen

  • JavaScript, CoffeeScript (sehr gute Kenntnisse)
  • Lua
  • Python
  • Ruby (sehr gute Kenntnisse)
  • Scheme
  • Scala (sehr gute Kenntnisse)
  • Java (sehr gute Kenntnisse)
  • C++ und Qt
  • PHP
  • MATLAB
  • C
  • Delphi (ehemals sehr gute Kenntnisse)
  • Pascal
  • Visual Basic (erste Programmiersprache)
  • Basic

Beschreibungssprachen

  • HTML
  • CSS, SASS
  • LaTeX, TeX, BibTeX

Natürliche Sprachen

  • Deutsch (Muttersprache)
  • Englisch (gute Kenntnisse)
  • Latein (großes Latinum)