Dakotah Lambert



I am a PhD student at Stony Brook University, interested in Mathematical Linguistics. Specifically I work in factoring complicated patterns and the learning thereof using simple (subregular) descriptive techniques. A draft of my dissertation is available.


Over the years I have been building an interactive theorem-prover for subregular logics. Implemented in Haskell as both a library and supporting command-line tools, the Language Toolkit (LTK) enables somewhat easy translation from constraints to automata (and, in some cases, the reverse translation). For any regular language, LTK can also determine which of the simple single-relation subregular classes that language is in.