Algorithms, Theory of Statistics, Programming Languages, Complexity
B.A., Mathematics and Computer Science
C. Boschini, J. Camenisch, N. Spooner, M. Ovsiankin, Efficient Post-Quantum SNARKs for RSIS and RLWE and their Applications to Privacy. PQCrypto 2020.
M. Ovsiankin, E. Burmako. Validating Typechecking Changes with SemanticDB, ICFP 2018.
M. Ovsiankin, Cracking RSA with Quantum Computing, Berkeley Mathematics Directed Reading Program, 2018.
Under Alessandro Chiesa and Jelani Nelson.
Under Prasad Raghavendra and Satish Rao.
Under Marc Khoury and Brijen Thananjeyan.
Under Luca Trevisan and Prasad Raghavendra.
Under Alessandro Chiesa and Satish Rao.
San Francisco, CA. Software Engineering Intern May - Aug 2018
Researched JVM language tooling on the Scala Tools team. Built Scala expression parser, worked on new Scala compiler, designed semantic analyzation, rewrite, and comparison tools for compiler-added synthetics like implicits and inferred type parameters. Created Java compiler plugin that captures semantic information. Most work has been open-sourced at Twitter Rsc or Scalameta.
Palo Alto, CA. Data Science Intern May - Aug 2017
Wrote Scala and worked with Spark. Contributed to machine learning engine in model serialization, automatic feature engineering, “smart” quickstart templates, and assorted refactors. Tuned pilot tenant models in order to upstream algorithm changes to ML framework. Built tools in Gradle and Scala to assist with modeling workflows and submitting projects to clusters.
Mountain View, CA. Software Engineering Intern Jun - Sep 2015
Wrote Scala and worked with Slick and Play Framework. Helped refactor Kifi’s web scraper, designed and built a new system for delivering notifications. Built chatops tools to streamline deployment. All work deployed to production. Kifi was eventually acquired by Google.
https://www.addiscoder.com. Will serve as a TA for AddisCoder, a free intensive 4-week summer program in Addis Ababa, Ethiopia introducing high schoolers to programming and algorithms.
https://csmentors.berkeley.edu/. CSM provides adjunct sections for UC Berkeley CS classes. I volunteered as a mentor for CSM for CS 70 for three semesters. Later I was a co-coordinator, managing logistics and helping mentors succeed teaching their sections, including sections for underrepresented students in CS.
I have been playing piano for over 15 years, less so in college.
1st placeMarch 2014
United States Open Music Competition. Video of me playing: https://www.youtube.com/watch?v=8Rd8EcyLHz4