micah

education

cuny hunter college. b.a. mathematics & computer science, minor in philosophy.

coursework: formal methods, non-classical logic, advanced mathematical logic, quantum computation, artificial intelligence, advanced algorithms, number theory, philosophy of mathematics.

programming languages & tools

python, c / c++, javascript, java, sql.

openai codex, git, bash, aws, linux/unix, figma, sketch, tableau, qiskit, nusmv, sat/smt solvers, frama-c, microsoft office.

watchtower, a virtual schedule advisor for hunter college undergraduates

capstone project: a constraint-based course scheduling system made for computer science, political science, and mathematics students.

• designed python data models for courses, sections, time conflicts, and user-defined constraints.
• used rc2 to solve weighted maxsat scheduling constraints generated from degree requirements, completed coursework, and student preferences.
• produced system flow and architecture to support team collaboration and iterative implementation.

independent study in hoare logic, with professor subash shankar

• presented a lecture on quantum hoare logic using chareton et al., formal methods for quantum algorithms.
• introduced quantum states, operators, measurements, circuit semantics, and a minimalist quantum while language.
• proved correctness of a bell state generating quantum program.

formal methods course projects

• verified safety and liveness properties for a 3-lane pedestrian traffic controller using nusmv.
• designed state-transition logic and ctl specifications.
• used smt to solve kenken puzzle #54555, encoding arithmetic and uniqueness constraints.
• used a sat solver to solve knights and knaves puzzle #174.

phaze

co-created a social event planning and reconnection app, leading feature ideation, user flows, ux testing, and interface evaluations.

private tutor

self-employed, oct 2020 - present. 1:1 elementary math tutoring focused on number sense, problem-solving habits, confidence, and deep understanding.

nanny

provided weekend care for school-aged children with high physical and emotional support needs, adapting routines and support strategies in real time.

camp and youth programs

• division supervisor at new country day camp, supervising 100+ campers and 20+ staff.
• founder of camp kip, a summer program serving 7 children and generating $10,000 in seasonal revenue.
• city year americorps member supporting student achievement, attendance, math tutoring, and social-emotional development.
• inclusion specialist and assistant program director at camp scully, supporting campers across physical, medical, social, and behavioral needs.