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

location | USA | |

age | ||

visits | member for | 4 years, 7 months |

seen | Jul 24 at 22:28 | |

stats | profile views | 470 |

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 | 356 rep | 211 | |

Mathematics | 164 rep | 5 |

This user has no active bounties

# 140 Votes Cast

all time | by type | ||||
---|---|---|---|---|---|

140 | up | 104 | question | ||

0 | down | 36 | answer |