About
I am an independent software developer working on mobile applications for Android and iOS.
I obtained my PhD in mathematics from the University of Pittsburgh. My advisor was Prof. Thomas Hales. Then I was a postdoctoral researcher in the School of Computing at the University of Utah in Prof. Ganesh Gopalakrishnan’s Gauss Group.