next up previous
Next: About this document ...

Please see papers for links to papers

This is a summary of my career and research which I had to put together for a 10 minute presentation to non specialists.

CAREER TO DATE

Edinburgh University
1987-1992 PhD in Cognitive Science

Munich University
1993-1995 Research Assistant on the DYANA II project
1995-1996 Research Assistant in project Semiunifikation
1996-1998 Research/Lecturing position

Trinity College, Dublin
1999-today Computational Linguistics lecturer

TEACHING

in Computer Science, Linguistics and a Language courses:

fundamentals of computing
logic and Prolog programming
programming in C
fundamentals of NLP
statistical methods in NLP

RESEARCH INTERESTS

1.
Linear Logic and Polymorphic Categorial Grammar

2.
Polymorphic Type Inference for Programming Languages

3.
Language Engineering

\includegraphics{johnlikesmary.eps}

CATEGORIAL GRAMMAR

LINEAR LOGIC AND CATEGORIAL GRAMMAR

Practical Issues

LINEAR LOGIC AND CATEGORIAL GRAMMAR

Logical Issues

TYPE INFERENCE FOR PROGRAMMING LANGUAGES

TYPE INFERENCE

TYPE INFERENCE FOR PROGRAMMING LANGUAGES
principal types obtained in SML
Milner's algorithm

principal types obtained in SML+
Milner+ algorithm:

Non-toy implementation
: modified the compiler for SML allowing mono/poly switch

correctness proof
(TCS 99) tricky because

LANGUAGE ENGINEERING

LEXICON IMPLEMENTATION

LEXICON MAINTENANCE

PARSER IMPLEMENTATION

TAGGING: DISAMBIGUATING WORDS





\includegraphics{trellis.eps}

PARSING: DISAMBIGUATING SENTENCES

\includegraphics{2ways.eps}




LEXICON
cut up vp/np into np
cut up vp/np
sweep up vp/np
RULES

$np \Rightarrow np,\ preposition,\ np \\
prep \Rightarrow {\sf on} \\
prep \Rightarrow {\sf into}$




Using:

can achieve >90 % hitrates.

distinctive aspects of the strategy are:

by contrast general trend is:

A SILVER-STANDARD CORPUS OF SIMPLE CLAUSES

\includegraphics{silver.eps}

CROSS-CHECKING SILVER STANDARD CORPUS

can compare

CORPUS RELATED




next up previous
Next: About this document ...
Martin Thomas Emms
2001-01-18