Noah Diewald, Developer in Columbus, OH, United States
Noah is currently unavailable

Noah Diewald

Lean Developer

Columbus, OH, United States

Toptal member since October 9, 2024

Bio

Noah is a linguist and developer with a strong background in modeling linguistic theories using dependently typed programming languages and theorem provers such as Coq. As a full-stack web developer, he is proud of the research and educational tools he has developed, including successful collaborations with experts in ML that resulted in tools and published papers. Noah enjoys working with Elm and Haskell and has experience with JavaScript, Ruby, Erlang, and other popular languages.

Portfolio

Ohio State University, Department of Linguistics
Coq, Haskell, PostgREST, PostgreSQL, Elm, JavaScript, CouchDB, Linguistics...
University of Wisconsin Language Sciences
JavaScript, Erlang, Ruby, Haskell, CouchDB, Lexicography, PostgreSQL...

Experience

  • Linguistics - 20 years
  • Lexicography - 20 years
  • JavaScript - 14 years
  • PostgreSQL - 14 years
  • Dependent Type Theory - 10 years
  • Computational Linguistics - 10 years
  • Elm - 8 years
  • Coq - 5 years

Preferred Environment

Emacs, Linux, Coq, Elm, PostgreSQL, CouchDB, JavaScript

The most amazing...

...experience I've had is gaining an insight into the organization of grammar through discrete mathematical analysis.