bio | website | |
---|---|---|

location | USA | |

age | ||

visits | member for | 4 years, 2 months |

seen | 3 hours ago | |

stats | profile views | 450 |

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.

MathOverflow | 346 rep | 210 | |

Mathematics | 164 rep | 5 |

This user has no active bounties

# 140 Votes Cast

all time | by type | month | week | ||||||
---|---|---|---|---|---|---|---|---|---|

140 | up | 104 | question | 1 | 1 | ||||

0 | down | 36 | answer |