Mary graduated from Bard College in 2009, where she received her Bachelor of Arts in Computer Science. She then went on to receive her Master's in Computer Engineering from the University of Florida. While working at the ASC Lab, Mary learned to use Haskell and Mathematica to design and code programs used for research, including a Mathematica package providing various functions for knot computation. She also took on a leadership role and managed research assistants over a period of several weeks while they hand-verified program output; the results of their research was published in two papers. She worked with others at the Lab to author reports and technical specification in LaTeX and present the work at conferences. Mary currently works as a software engineer.

Projects

• Tricolorable Torus Knots are NP-Complete
• The Class of Constraint Satisfaction Problems Over a Knot
• Knots and the Constraint Satisfaction Problem
• Tricoloring as a Corrective Measure (LINK NEEDED)

Contact

Email: ms182@bard.edu