Martin Okrslar
Curriculum vitae
Interests
Logic:
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:
Miscellaneous
Rugby:
Email: okrslar@cis.uni-muenchen.de