Hola!

I'm Mark Watts, a second-year CS student at UT Austin.

Currently, I'm interested in computer security, formal specification of programs, and applications of metamathematics to programming systems.

My C.V.

GitHub projects

The best online Japanese-English dictionary

Racket(PLTScheme) fun Conway's Game of Life in Racket Church numerals and graphs in Racket Playing with data-flow programming All racket source files