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

location | USA | |

age | ||

visits | member for | 4 years, 8 months |

seen | Dec 22 at 20:43 | |

stats | profile views | 473 |

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 |