experience

Software Engineer

Open Government Products

Jun 2022 – present

  • Worked on FormSG a bunch, did x y and z.
  • Another bullet point.

Teaching Assistant

CMU School of Computer Science

Aug 2017 – May 2020

  • Great Ideas in Theoretical Computer Science. Topics covered include:
    • finite automata,
    • computability & complexity theory,
    • graph algorithms,
    • combinatorial games,
    • approximation algorithms,
    • randomized algorithms, and
    • cryptography.
  • Principles of Functional Programming. Taught, wrote assignments for functional programming concepts in Standard ML including:
    • correctness proofs,
    • parallelism,
    • higher-order functions,
    • type-directed programming,
    • continuation-passing and
    • modularity.
  • Fundamentals of Programming and Computer Science. Taught programming in Python and basic algorithms such as
    • sorting,
    • recursion and backtracking, and
    • asymptotic efficiency analysis.

Student Supervisor and Instructor

CMU Academic Development

Aug 2017 – May 2020

  • Led supplemental collaborative learning sessions for the first-year calculus-based Physics sequence including topics from
    • mechanics,
    • thermal physics,
    • statistical physics,
    • optics and
    • electromagnetism.
  • Observed other leaders’ sessions to give suggestions on how to further foster collaboration and learning in them, provided professional and social development programs for leaders and made improvements to program structure and execution.