From Fedora Project Wiki
(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.") |
No edit summary |
||
| Line 1: | Line 1: | ||
I am a computer scientist interested in formal methods, computational logic, and rewriting. I am also interested in competitive programming and | I am a computer scientist interested in formal methods, computational logic, and rewriting. I am also interested in competitive programming, teaching, and software freedom. [http://camilorocha.info Please check my personal webpage for details.] | ||
Latest revision as of 11:09, 24 October 2015
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.