Software engineer, mathematician with postdoctoral experience, and teacher. Software-development background includes compilers, client-side applications, machine learning, and open-source leadership. Mathematical research includes usually-correct algorithms and verifying assumptions needed for formal argument; published in three top journals, presented by invitation at five leading national & international conferences.Excellent communicator, both within & across disciplines; respected coach/mentor/team player; dedicated & proactive problem-solver.Specialties: Computability theory, reverse mathematics, algorithmic randomness, collaborative work, algorithms and data structures, backend development, software architecture/design
Listed skills include Mathematics, Physics, Logic, University Teaching, and 30 others.