Martin Okrslar

Interests

Logic:

• Proof Theory / Deduction; (intuitionistic) Type Theory
• Theory of Formal Languages
• Dynamic ,Temporal and Modal Logic
• Domain Theory
• Light/Elementary Linear Logic
• Categorial Grammar

Computaional Linguistics:

• Parsing (Implementation of several NL-Parsers; in SML)
• Formal Semantics of Natural Languages
• Typed Grammars (GF)
• Constraints in NLP
• Syntax

Computer Science:

• Theorem proving (Implementation of Positive Hyperresolution Tableaux SATCHMO; in Java)
• Verification (Isabelle, Model Checking )
• Compiling
• Functional Programming (SML,Haskell)
• Object - Oriented Programming, CORBA

University

Currently:

• I am doing my master thesis on Bounded Fixed Point Grammars and Parsing

Previous terms:

• Tutor of Einführung in die Informatik I

Miscellaneous

Rugby:

• The club I am playing in online
• scrum.com
• deutscher rugby-verband