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

location | Ljubljana | |

age | 43 | |

visits | member for | 5 years, 4 months |

seen | 6 hours ago | |

stats | profile views | 7,123 |

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

MathOverflow | 18,652 rep | 345107 | |

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

Computer Science | 5,913 rep | 928 | |

Mathematics | 1,431 rep | 412 | |

Stack Overflow | 1,274 rep | 515 |

Nice Answer × 72 | Favorite Question |

Custodian × 4 | Famous Question |

Good Answer × 16 | Great Question |

gn.general-topology | Notable Question × 2 |

Yearling × 5 | Popular Question × 4 |

This user has no active bounties

# 701 Votes Cast

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

574 | up | 311 | question | ||

127 | down | 390 | answer |