Andrej Bauerless info
|visits||member for||2 years, 8 months|
|seen||2 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||2 years, 8 months|
|location||Slovenia||seen||2 hours ago|
160 Votes Cast
|all time||by type|