Ruchira S. Datta

Stream: new members

[Ruchira S. Datta]

Hello, I am a mathematician and computer scientist, living close to Berkeley (where I went to grad school).

I have some previous experience with Isabelle/Isar/HOL and with Rocq. I also worked through a little bit of Software Foundations in Rocq and in Idris 2.

My math research interests include graph theory, game theory, combinatorics, algebraic geometry (e.g., real, tropical), and nonlinear optimization.

My programming language experience includes C, C++, Python, Scala, Java, and Rust (professionally); Ocaml in some of my math research; as well as the languages of some computer algebra systems such as Singular and Mathematica (and various other languages out of personal interest).

I worked through Laurence Paulson's book _ML for the Working Programmer_.

I have some interest in description logics, linear temporal logic, model checking, binary decision diagrams, abstract interpretation, etc., though I haven't done work with these yet.

I've created stochastic simulations and am interested in uncertainty quantification.

I have extensive professional experience in AI/ML, mostly for NLP..

Looking forward to participating in and hopefully contributing to the Lean community!