Supakorn 'Jamie' Rassameemasmuang

Jamie was an undergraduate student in Computing Science and Mathematics. They are interested in an intersection of pure mathematics alongside theoretical Computing Science, including Logic, program analysis, number theory and applications of pure mathematical results into computing. In the summer of 2019, Jamie worked in the Maple lab on verifying transformations for string equations using Coq.