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

location | Ljubljana | |

age | 44 | |

visits | member for | 5 years, 7 months |

seen | 3 hours ago | |

stats | profile views | 7,522 |

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

MathOverflow | 19,153 rep | 347109 | |

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

Computer Science | 6,166 rep | 1028 | |

Mathematics | 1,415 rep | 512 | |

Stack Overflow | 1,314 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

# 714 Votes Cast

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

585 | up | 316 | question | 3 | |||

129 | down | 398 | answer |