361 reputation
bio website
location USA
visits member for 4 years, 11 months
seen Dec 22 '14 at 20:43
I got my Ph.D in Computer Science (Compiler Construction), now I am interested in formalization of mathematics. Currently I am involved in the design of a practical formal mathematical language. I try to test this language by formalizing Galois theory.