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

location | USA | |

age | ||

visits | member for | 5 years, 4 months |

seen | Dec 22 '14 at 20:43 | |

stats | profile views | 482 |

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 | 371 rep | 311 | |

Mathematics | 169 rep | 5 |

This user has no active bounties

# 140 Votes Cast

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

140 | up | 104 | question | ||

0 | down | 36 | answer |