Dr. Hans Leiß

Tel.: +49-89-2180-9718
e-mail: leiss at cis.uni-muenchen.de
Mentorenstunde: Mi 13-14
Sprechstunde: Mi 14-15, Raum 310, Schellingstr.10

Interessengebiete

• Reguläre Algebra und Formale Sprachen
• Grammatiken, Syntaxanalyse, Parsergeneratoren
• Typentheorie und Funktionales Programmieren

Projekte und Programme

• Suche in komprimierten Daten (DAAD, Procope)
• Finite Automata Library for Standard ML (22.1.2010: adapted to changes in SMLNJs PrettyPrint)
• Standard ML with polymorphic recursion
• Semiunifikation und allgemeinste Induktionsbeweise (Deduktion, DFG)
• New Hardware Design Methods (NADA, Esprit)
• Dynamic Interpretation of Natural Language (Dyana-2, Esprit)
• Foundations of Functional and Logic Programming (Gentzen, Esprit)

Neuere Arbeiten

• To CNF or not to CNF? An Efficient Yet Presentable Version of the CYK Algorithm (with Martin Lange). Informatica Didactica 8, 2009.
• The proper treatment of coordination in Peirce grammar. Proceedings Workshop on Formal Grammar/Mathematics of Language '05, Edinburgh 2005. CSLI Publications, 2005
• Kleene Modules and Linear Languages. Journal of Logic and Algebraic Programming, Vol 66/2 (2006), 185-194. DOI information: 10.1016/j.jlap.2005.04.004
• Algebraically complete semirings and Greibach normal form (with Zoltan Esik). Annals of Pure and Applied Logic 133 (2005), 173--203.
• Automata on Lempel-Ziv Compressed Strings (with Michel de Rougemont). Proceedings CSL 2003, Wien, Aug. 2003. Springer LNCS 2803, pp 384--396. (Slides of the talk)
• Greibach Normal Form in Algebraically Complete Semirings (with Zoltan Esik). BRICS Report Series RS-02-46, Dec. 2002, 43 pages. ISSN 0909-0878.
• Kleenean Semimodules and Linear Languages. Extended Abstract in: Z.Esik and A.Ingolfsdottir (eds.) Preliminary Proceedings of the Workshop on Fixed Points in Computer Science, FICS '02, (Copenhagen, Denmark, July 20 and 21, 2002), June 2002.
• Greibach Normal Form in Algebraically Complete Semirings (with Zoltan Esik). Proceedings CSL 2002, Edinburgh, Sept. 2002. Springer LNCS 2471, pp. 135-150.
• Zweitstufige Prälogische Relationen und Repräsentationsunabhängigkeit. CIS-Bericht-01-127, März 2001. (Erweiterte Fassung der veröffentlichten englischen Version.)
• Second-Order Pre-Logical Relations and Representation Independence. Proceedings TLCA 2001, Krakow, May 2-5, 2001. Springer LNCS 2044. Copyright by Springer-Verlag, 2001.
• Definability and Compression (with Foto Afrati and Michel de Rougemont). Tech.Report (October 1999). Final version in: Proceedings of 15th Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, CA. LICS 2000. IEEE Computer Society
• Extending the Type Checker of SML by Polymorphic Recursion (with Martin Emms). Theoretical Computer Science 212 (1999), 157-181.
  (Copyright does not permit to make this publicly accessible, but I can send a copy on request.)
• Extending the Type Checker of SML by Polymorphic Recursion --
  A Correctness Proof (with Martin Emms). CIS-Bericht-96-101.
• Bounded Fixed-Point Definability and Tabular Recognition of Languages.
  Proceedings CSL'95, Springer LNCS 1092, http://dx.doi.org/10.1007/3-540-61377-3_50
• Combining Dynamic and Recursive Types. Proceedings TLCA'93, Springer LNCS 664, http://dx.doi.org/10.1007/BFb0037111
• Towards Kleene Algebra with Recursion. Proceedings CSL'91, Springer LNCS 626

Vorlesungen und Seminare

Wintersemester 2011/12

• Symbolische Programmiersprache (PROLOG). Vorlesung mit Tafelübung, Di 16-18, Oettingenstr.67, HS B 001 und Do 16-18, Geschwister-Scholl-Platz 1, A 119
• Satzgrammatik des Deutschen. Hauptseminar (statt Kursseite: Folien im svn-Archiv der Programme)
• Syntaxanalysealgorithmen. Vorlesung Mo 12-14, Oettingenstr.67, HS 123

Frühere Semester

• Geteiltes Wissen und spieltheoretische Semantik. Hauptseminar SS 2010
• Logik und modelltheoretische Semantik. Vorlesung + Tafelübung. SS 2010
• Computerlinguistische Anwendungen. Vorlesung + Tafelübung. SS 2010

• Formale Sprachen. Vorlesung + Übung, WS 2010/11
• Syntax natürlicher Sprachen. Vorlesung + Übung, WS 2010/11

• Aufbau und Anwendung multilingualer Grammatiken im "Grammatical Framework". Hauptseminar SS 2010, mit Prof.M.Hofmann, Informatik. (siehe CIS-Wiki)
• Funktionales Programmieren im "Grammatical Framework". Praktische Übung SS 2010, mit N.Perera (siehe CIS-Wiki)
• Implementierung von Parsergeneratoren. Hauptseminar SS 2010 seminarfolien.pdf
• Kontrollierte Sprache. Hauptseminar SS 2010 (siehe CIS-Wiki)

• Relationale Grammatik. Hauptseminar WS 2009/10.
• Computerlinguistik II. Vorlesung mit Proseminar/Übung, WS 2009/10.
• Formale Sprachen und Automaten. Vorlesung mit Proseminar/Übung, WS 2009/10.
• Implementierung einer Grammatik für das Mongolische. Arbeitsgemeinschaft, WS 2009/10.

• Einführung in das Symbolische Programmieren. Vorlesung mit Übung SS 2009
• Syntax. Proseminar/Vorlesung SS 2009
• Beschreibungslogik. Hauptseminar SS 2009
• Implementierung einer Grammatik für das Mongolische. Arbeitsgemeinschaft SS 2009

• Grammatikimplementierung. Hauptseminar WS 2008/09
• Parsing. Hauptseminar mit Programmierübung WS 2008/09
• Computerlinguistik II. Vorlesung mit Proseminar WS 2008/09

• Datenstrukturen und Algorithmen zur Stringverarbeitung. Hauptseminar SS 2008
• Geteiltes Wissen. Hauptseminar SS 2008
• Funktionales Programmieren. Programmierkurs SS 2008
• Semantik. Vorlesung mit Proseminar SS 2008

• Formale Sprachen und Automaten. Vorlesung mit Proseminar. WS 2007/08
• Computerlinguistik II. Vorlesung mit Proseminar. WS 2007/08
• Syntax und Semantik von Vergleichsausdrücken. Hauptseminar WS 2007/08

• Grammatical Framework. Hauptseminar. SS 2007
• Syntax. Vorlesung/Proseminar SS 2007
• Mathematische Grundlagen II. Vorlesung/Proseminar SS 2007

• Computerlinguistik II. Vorlesung mit Proseminar. WS 2006/07
• Parsing.Vorlesung/Hauptseminar mit Übung. WS 2006/07.
• Grammatikimplementierung. Hauptseminar. WS 2006/07

• Einführung in das symbolische Programmieren (Prolog). Programmierkurs. SS 2006
• Logik des geteilten Wissens. Hauptseminar. SS 2006
• Algorithmische Probleme kontextfreier Grammatiken. Hauptseminar. SS 2006
• Sprachtheorie bei Aristoteles. Arbeitsgemeinschaft. (mangels Beteiligung ausgefallen)

• Computerlinguistik II. Vorlesung mit Proseminar. WS 2005/06
• Formale Sprachen und Automaten. Vorlesung mit Proseminar. WS 2005/06
• Optimierung von Parsing-Algorithmen. Programmierpraktikum. WS 2005/06

• Mathematische Grundlagen der Computerlinguistik II. Vorlesung mit Proseminar. SS 2005

• Mathematische Grundlagen der Computerlinguistik I. Vorlesung mit Proseminar WS 2004/05
• Semantik: Interpretation und Auswertung. Hauptseminar WS 2004/05
• Computerlinguistik II. Vorlesung mit Proseminar WS 2004/05

• Algorithmen und Datenstrukturen in der Stringverarbeitung. Vorlesung + Hauptseminar SS 2004
• Semantik I. Vorlesung+Proseminar SS 2004
• CIS-GRAMM. Arbeitsgemeinschaft SS 2004

• Formale Sprachen und Automaten. Vorlesung WS 03/04
• Satzgrammatik. Hauptseminar, WS 03/04
• Parsing. Vorlesung WS 03/04

• Mathematische Grundlagen der Computerlinguistik II. Vorlesung und Proseminar SS 2003
• Einführung in Standard ML, Programmierkurs SS 2003
• Relationale Grammatik, Hauptseminar SS 2003

• Mathematische Grundlagen der Computerlinguistik I. Vorlesung und Proseminar WS 2002/03
• Mercury-Kurs zum Proseminar "Melcuk und Mercury", WS 2002/03
• Logik und Automaten. Die Vorlesung fällt leider aus Mangel an Teilnehmern aus.
• Einführung in das wissenschaftliche Arbeiten, WS 2002/03 ( LaTeX Beispiele )

• Einführung in das symbolische Programmieren (Prolog), Vorlesung und Tutorial SS 2002
• Semantik II , Vorlesung SS 2002
• Grammatikimplementierung II
  • Version 03.7.02 Nur Dokumentation (dokumentation.ps)
  • Version 8.7.02 (ohne dokumentation.ps, ohne /Testbett) (Nur für Seminarteilnehmer)

• Grammatikimplementierung I, Vorlesung mit Seminar WS 2001/02
• Mathematische Grundlagen der Computerlinguistik I, Vorlesung mit Proseminar, WS 2001/2002

• Einführung in das symbolische Programmieren (Prolog), Vorlesung und Tutorial SS 2001
• Synonymie und Intensionalität, Hauptseminar WS 2000/2001
• Einführung in Standard ML, Programmierkurs WS 2000/2001

• Einführung in das symbolische Programmieren (Prolog), Vorlesung und Tutorial SS 2000
• Mathematische Grundlagen II. Vorlesung und Proseminar SS 2000
• Algorithmen und Datenstrukturen in der Stringverarbeitung. Hauptseminar SS 2000

• Lektüre klassischer Texte der Sprachwissenschaft, Arbeitsgemeinschaft WS 1999/2000, SS 2000
• Parsing, Vorlesung und Hauptseminar WS 1999/2000
• Einführung in das symbolische Programmieren (Prolog), Vorlesung SS 1999 (prologfolien.ps)
• Automaten und Transduktoren. Hauptseminar WS 1998/99.
• Syntax I, Vorlesung SS 98 (syntax.pdf)
• Formale Sprachen und Automaten, Vorlesung WS 97/98, (automaten.skriptum.ps)
• Typsysteme funktionaler Programmiersprachen, Teil I. Vorlesung SS 97. CIS-Bericht-97-107
• Theorie endlicher Modelle, Seminar WS 96/97

Organisation

• CSL 2000. Annual Conference of the European Association for Computer Science Logic.
  August 21-26, 2000 · Fischbachau/Munich, Germany. Member of the Local Organization Comittee
• NADA Worshop on Streams. October 16-18, 1995, Schloß Elmau, 82493 Elmau/Oberbayern, Germany.
  International workshop of the Esprit Basic Research Action `New Hardware Design Languages'.
  Organizers: H.Leiß, H.Schwichtenberg
• Workshop on `Common Foundations of Functional and Logic Programming'. Munich, March 26-28, 1992.
  3rd Workshop of the Esprit Basic Research Action 3230. Organizer: H.Leiß