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

location | Ljubljana | |

age | 44 | |

visits | member for | 5 years, 8 months |

seen | 4 hours ago | |

stats | profile views | 7,654 |

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

MathOverflow | 19,375 rep | 348113 | |

Theoretical Computer Science | 14,360 rep | 3474 | |

Computer Science | 6,296 rep | 1028 | |

Mathematics | 1,431 rep | 512 | |

Stack Overflow | 1,314 rep | 515 |

Nice Answer × 78 | Yearling × 5 |

Enlightened × 15 | Favorite Question |

Good Answer × 17 | Famous Question |

Custodian × 4 | Great Question |

gn.general-topology | Notable Question × 2 |

This user has no active bounties

# 726 Votes Cast

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

591 | up | 327 | question | 1 | 1 | ||||

135 | down | 399 | answer |