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

location | Ljubljana | |

age | 44 | |

visits | member for | 5 years, 9 months |

seen | 5 hours ago | |

stats | profile views | 7,719 |

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

MathOverflow | 19,430 rep | 348113 | |

Theoretical Computer Science | 14,659 rep | 3477 | |

Computer Science | 6,341 rep | 1028 | |

Mathematics | 1,431 rep | 512 | |

Stack Overflow | 1,314 rep | 615 |

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

# 731 Votes Cast

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

596 | up | 330 | question | 6 | 1 | ||||

135 | down | 401 | answer |