From Fedora Project Wiki

Revision as of 11:09, 24 October 2015 by Hquilo (talk | contribs)
(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, teaching, and software freedom. Please check my personal webpage for details.