|
CV, Research and Personal Interests
|
- Theoretical Computational Linguistics
- Logical Formalisms for Natural Languages
- Algebraic Formalisms for Natural Languages
- Descriptive Complexity Theory
- (Tree) Automata and Tree Transducer
- Semistructured Data
- Expressive Power of Query Languages
- Domain Theory and Category Theory for grammar formalisms
- Applied Computational Linguistics
- GB Parsing using WS2S and its decidability proof
- Constraint (Logic) Programming based on Monadic Second-Order Logic
- Automated Theorem Proving for Monadic Second-Order Logic using Tree
Automata
- Finite State Techniques
- Logical Frameworks for NLP
- Constraint Programming
- Natural Language Parsing, especially ID/LP parsing and unification
based parsing
- Linguistics
- Formalisms for the treatment of word order phenomena in natural
language
- Binding
- And I'd like to know more about Universal Algebra ...
Take a look at my publications.
- Motorcycling, currently I own a MZ ETZ 250 with attached sidecar.
- Volleyball
- Soccer
- Role playing, both with humans and on the computer.
- Comics
- Fantasy novels
- Music, active and passive. I try to play the guitar and I collect
records. Anyone interested in selling me anything?
- look at my bookmarks for more links
(bookmarks.html)
|