CodeX FutureLaw 2023
Sudhir Agarwal 
Sudhir did his PhD in Computer Science from Karlsruhe Institute of Technology in Germany in 2007 in the area of formal integration of data and processes.
From 2007 to 2012 Sudhir continued in the same research group as a PostDoc, and in that role he led several German and EU funded research projects as well taught several undergrad courses.
In 2013 Sudhir joined Stanford Logic Group as a Visiting Scholar and later as Research Staff and CodeX Fellow. During his stay at Stanford from 2013 to 2017, Sudhir worked on several projects in the areas of privacy preserving data integration, OpenData, database update policies, and computable contracts etc.
Sudhir joined Intuit Inc in 2018 and there he worked on automatic generation of machine interpretable tax calculation rules from IRS documents in English. Sudhir also led a project to help customers minimize their taxes based using mathematical optimization. Currently, as Principal Research Scientist Sudhir is leading research in Neuroscience-Symbolic AI at Intuit.