|visits||member for||4 years, 11 months|
|seen||19 hours ago|
I am a professional mathematician and theoretical computer scientist (what is the difference?) . My area of work is a mix of logic, semantics, programming languages, category theory, constructive mathematics and computability.
|bio||website||andrej.com||visits||member for||4 years, 11 months|
|location||Slovenia||seen||19 hours ago|
255 Votes Cast
|all time||by type|