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

location | Ljubljana | |

age | 43 | |

visits | member for | 5 years, 5 months |

seen | 8 hours ago | |

stats | profile views | 7,288 |

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

MathOverflow | 18,983 rep | 347108 | |

Theoretical Computer Science | 13,576 rep | 3268 | |

Computer Science | 6,012 rep | 928 | |

Mathematics | 1,431 rep | 412 | |

Stack Overflow | 1,274 rep | 515 |

Good Answer × 17 | Yearling × 5 |

Enlightened × 14 | Favorite Question |

Nice Answer × 73 | Famous Question |

Custodian × 4 | Great Question |

gn.general-topology | Notable Question × 2 |

This user has no active bounties

# 705 Votes Cast

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

577 | up | 311 | question | 4 | |||

128 | down | 394 | answer |