bio | website | andrej.com |
---|---|---|

location | Ljubljana | |

age | 43 | |

visits | member for | 5 years, 5 months |

seen | 6 hours ago | |

stats | profile views | 7,383 |

I am a professional mathematician. My area of research is logic, constructive and computable mathematics, category theory, and semantics of programming languages.

MathOverflow | 19,053 rep | 347109 | |

Theoretical Computer Science | 13,736 rep | 3369 | |

Computer Science | 6,022 rep | 928 | |

Mathematics | 1,430 rep | 412 | |

Stack Overflow | 1,274 rep | 515 |

Nice Answer × 74 | Yearling × 5 |

Good Answer × 17 | Favorite Question |

Enlightened × 14 | Famous Question |

Custodian × 4 | Great Question |

gn.general-topology | Notable Question × 2 |

This user has no active bounties

# 709 Votes Cast

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

580 | up | 314 | question | 3 | |||

129 | down | 395 | answer |