Isaiah Kriegman
I’m Isaiah Kriegman. You can call me Isaiah, Isaías, 柯睿孟, or ישי. I’m currently a master’s student in the math department at Bar-Ilan University researching representations for Lean premises.
At Haverford College I majored in math with minors in statistics and Chinese. For my senior thesis I wrote an expository paper on Markov Chain Monte Carlo Simulation.
I’m also developing Dagah, an alpha-stage Hebrew dictionary app. Click to download for Android.