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

location | Ljubljana | |

age | 42 | |

visits | member for | 4 years, 5 months |

seen | Apr 17 at 22:58 | |

stats | profile views | 5,594 |

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

MathOverflow | 15,528 rep | 13890 | |

Theoretical Computer Science | 10,235 rep | 2152 | |

Computer Science | 4,442 rep | 520 | |

Stack Overflow | 1,191 rep | 415 | |

Mathematics | 1,126 rep | 310 |

Good Answer × 13 | Notable Question |

Great Answer | Yearling × 4 |

Enlightened × 13 | Caucus |

Nice Answer × 66 | Popular Question × 3 |

Self-Learner | lo.logic |

This user has no active bounties

# 615 Votes Cast

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

499 | up | 271 | question | 7 | |||

116 | down | 344 | answer |