Hi!
I am a computer science PhD student at Boston University, where I am fortunate to be supervised by Sofya Raskhodnikova. I am broadly interested in theoretical computer science and algorithm design.
I completed my Bachelor's at the University of Toronto, where I studied mathematics, computer science, and physics. I have previously done research in automata theory and software for astronomy.
Outside of academia, I love game development, playing the piano, learning new languages, and long-distance biking.
CV | GitHub | Linkedin
Publications
-
Transduction of Automatic Sequences and Applications
With Jeffrey Shallit. Conference on Implementation and Application of Automata, 2023. -
A graph database solution for tracking the deployment and layout of a large radio interferometer
With Adam D. Hincks, and Dhananjhay Bansal. SPIE Software and Cyberinfrastructure for Astronomy VII, 2022. -
The Hydrogen Intensity and Real-time Analysis eXperiment: 256-Element Array Status and Overview.
With Devin Crichton, et al. Journal of Astronomical Telescopes, Instruments, and Systems, 2022.
Talks
-
Transduction of Automatic Sequences and Applications
Conference on Implementation and Application of Automata, 2023, 30 min. -
Automata Theory: The Foundations of Computer Science
SigmaCamp, 2023, 1 hr. -
Automatic Sequences
Canadian Undergraduate Math Conference, 2023, 30 min. -
Automatic Sequences
University of Toronto Scarborough CMS Undergraduate Seminar, 2023, 1 hr.   |   Recording
Teaching
I am deeply passionate about teaching for all levels, ranging from teaching primary and high school students, to working as a teaching assistant for university courses with hundreds of students.Teaching Assistantships
- TA for CSC363: Computational Complexity and Computability (Winter 2024)
- Lead TA for CSC373: Algorithm Design and Analysis (Fall 2023)
- TA for CSC240: Enriched Introduction to the Theory of Computation (Winter 2022)
Outreach
Every summer, I volunteer as a counselor at SigmaCamp, a non-profit STEM summer camp aimed at curious teenagers from all over the world. I am also the chair of Sigma's Problem of the Month competition, which provides an opportunity to all for continuous learning and problem-solving.Projects
SUPREM.IO
A new online battle arena platformer with tons of weapons and enthralling, high-pace gameplay. Play from your browser with your friends at suprem.io!
Vessel Clash
A space-themed endless arcade shooter with thrilling powerups, unique enemies, and epic bosses! Download here.
Ogygius
A Minecraft-esque survival adventure game, with crafting, animals, building, combat, and procedurally generating biomes! View on GitHub here.
Other
Contact
Email: zavyalov AT bu DOT edu