Dr. rer. nat. Johannes Waldmann

Professor für Softwaresysteme, Institut for Informatik, Fakultät Informatik und Medien, Hochschule für Technik, Wirtschaft und Kultur Leipzig;

Forschung/research, Publikationen (via DBLP), Vorträge/talks, etc | Lehre/teaching, Master-Arbeiten, Praktika


Forschungsgebiete:
Termination und Komplexität in verschiedenen Berechnungsmodellen,
Deklarative (Funktionale, Constraint-) Programmierung, Automaten und Formale Sprachen.
Conferences/Workshops (where I am in the PC, or organizing committee, or steering committee)

upcoming: 17th Intl. Workshop on Termination (July, Paris - postponed to 2021), Intl. Workshop on Confluence (July, Paris), Confluence Competition, 12th Intl. School on Rewriting (July, Madrid - postponed to 2021) 28th Intl. Workshop on Functional and (constraint) Logic Programming (WFLP)(September 7th, 2020, on-line)

recent past: 27th Workshop on Workshop on Functional and (Constraint) Logic Programming, WFLP 2019 (September 9-13, Cottbus) 4th Intl. Conf. on Formal Structure for Computation and Deduction, FSCD 2019 (June 24-30, Dortmund), Intl. Termination and Complexity Competition, associated with TACAS 2019, April 7,

past past

Mitgliedschaft in Berufs- und Interessenverbänden:
Working Group 1.6 Term Rewriting in der International Federation for Information Processing (IFIP), Fachgruppe Automaten und Formale Sprachen und Fachgruppe Programmiersprachen und Rechenkonzepte in der Gesellschaft für Informatik, Deutsche Mathematiker-Vereinigung (DMV), Association for Computing Machinery (ACM), Wurzel e.V., Leipziger Schülergesellschaft für Mathematik (LSGM) .

Lehrgebiete:
Programmierparadigmen und -Sprachen, Compilerbau.
Lehrmethode:
vgl. G. H. Hardy: A Mathematician’s Apology, Cambridge Univ. Press 1940: “One rather curious conclusion emerges, that pure mathematics is disctinctly more useful than applied. … For what is useful above all is technique, and mathematical technique is taught mainly through pure mathematics.”
Zum Verhältnis von Mathematik und Informatik:
stellte Hermann Minkowski fest (Annalen der Physik 352 (15): 927–938): “Auch ist [der Mathematiker] besonders gut prädisponiert, die neuen Anschauungen [der Informatik] aufzunehmen, weil es sich dabei um eine Akklimatisierung an Begriffsbildungen handelt, die dem Mathematiker längst äußerst geläufig sind, während die [Informatiker] jetzt diese Begriffe zum Teil neu erfinden und sich durch einen Urwald von Unklarheiten mühevoll einen Pfad durchholzen müssen, indessen ganz in der Nähe die längst vortrefflich angelegte Straße der Mathematiker bequem vorwärts führt.”

email: johannes dot waldmann at htwk minus leipzig dot de (encrypted mail accepted, public key available from keyservers)

web page: https://www.informatik.htwk-leipzig.de/waldmann/

Sprechzeit: mittwochs 10:00 - 10:30 Uhr, bitte per Mail anmelden oder über die Wiki-Seite der OPAL-Gruppe

(Email-Anfragen zum Studium nur von Adressen *.htwk-leipzig.de. Der sicherste Weg zu einer Antwort ist das Erscheinen in der Sprechstunde.)

Telefon: (+49) (341) 3076 6479, Fax: (+49) (341) 3076 6381

Besucheranschrift: Zimmer Z129 (Zuse-Bau), Gustav-Freytag-Str. 42a, 04277 Leipzig

Postanschrift: HTWK Leipzig, F-IMN, Postfach 301166, 04251 Leipzig

Impressum, Datenschutzerklärung