() Introduction
Hello! My name is Maxwell Levatich, but I usually go by Max. I'm a Computer Science PhD student studying at Columbia Unversity in New York City. I graduated from Yale University in 2020 with a B.S. and M.S. in Computer Science.
I'm currently working with Stephen Edwards on specifying and verifying network-interfacing C code using SMT technology.
() Publications
Maxwell Levatich, Robert Brotzman, Benjamin Flin, Ta Chen, Rajesh Krishnan, Stephen A. Edwards: C Program Partitioning with Fine-Grained Security Constraints and Post-Partition Verification. MILCOM 2022: 285-291
Nikolaj Bjorner, Maxwell Levatich, Nuno P. Lopes, Andrey Rybalchenko, Chandrasekar Vuppalapati: Supercharging Plant Configurations Using Z3. CPAIOR 2021: 1-25
Maxwell Levatich, Nikolaj Bjorner, Ruzica Piskac, Sharon Shoham: Solving LIA* Using Approximations. VMCAI 2020: 360-378
() Teaching
Teaching CS is my absolute favorite thing to do; I hope to teach a CS course of my own someday soon. In the meantime, I've enjoyed being a TA for the following courses:
ENGI 1006: Introduction to Computing for Engineers and Applied Scientists. Columbia University, Fall 2022. Role: TA
COMS 4995: Parallel Functional Programming. Columbia University, Fall 2021. Role: TA
COMS 4115: Programming Languages and Translators. Columbia University, Fall 2021. Role: TA
CS 50: Introduction to Computer Science. Yale University, Harvard University, Fall 2017 - Fall 2019. Role: Head TA
CS 112: Introduction to Computer Programming. Yale University, Spring 2018 - Spring 2019. Role: Head TA
() Game Development
When I have spare time, I like to make video games! Here are some of my projects:
Abelon: My current project. A 2D, top-down story told through exploration and turn-based tactical combat. Written in Lua using the Love2D engine. Become the knight Abelon and take on the world!
Shadow Hunters: A collaboration with four friends to re-create the cult classic board game Shadow Hunters as an online multiplayer game. Written in Python and Phaser using Flask and SocketIO. Play it here!
Guy Battle: A 2D fighting game where you control a spellcasting Guy and battle other Guys. Battle a friend by sharing the keyboard or fight a horde of AI Guys! Written in C using SDL for rendering and audio.
FormA: A two-person quest to use CBMC to verify a non-trivial Asteroids-style video game implementation using bounded model-checking.
Last modified 4/13/2023