Dakotah Lambert

Project maintained by vvulpes0 Hosted on GitHub Pages — Theme by mattgraham



I am a PhD student at Stony Brook University, interested in Mathematical Linguistics. Specifically I work with Subregular description and factorization.


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.