356 reputation
211
bio website
location USA
age
visits member for 4 years, 7 months
seen Jul 24 at 22:28
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.

356 Reputation

MathOverflow 356 rep 211
Mathematics 164 rep 5

140 Votes Cast

all time   by type  
140 up 104 question
0 down 36 answer