314 reputation
bio website
location USA
visits member for 3 years, 11 months
seen Mar 31 at 11:32
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.

This user has no recent positive reputation changes

139 Votes Cast

all time   by type  
139 up 104 question
0 down 35 answer