Photos of Mathematicians
collected by
Andrej Bauer
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
← Nanevski, Aleks
Takako Nemoto
Nerode, Anil →
Click photo to open full-size original
Proof Systems in Actual Practice: Reasoning and Computation
Dagstuhl, March 2026
Click photo to open full-size original
Constructive Mathematics: Proofs and Computation
Frauenörth, June 2010
← Back to index
