Area 51 » Andrej Bauer
|
Registered User
|
I am a professional mathematician. My area of research is logic, constructive and computable mathematics, category theory, and semantics of programming languages.
|
1 |
Proposal |
414
days
Proof Assistants
For mathematicians and computer scientists who develop and use proof assistants.0 |
Current Commitments |
1 |
Fulfilled Commitment |
414
days
Proof Assistants
For mathematicians and computer scientists who develop and use proof assistants.1 |
Followed |
163
committed
Programming Language Design and Implementation
For designers and implementers of computer programming languages10 | Votes Cast |
10 up
0 down