From Fedora Project Wiki

Revision as of 11:03, 24 October 2015 by Hquilo (talk | contribs) (Created page with "I am a computer scientist interested in formal methods, computational logic, and rewriting. I am also interested in competitive programming and teaching.")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

I am a computer scientist interested in formal methods, computational logic, and rewriting. I am also interested in competitive programming and teaching.