Nikolaj Bjørner

Predrag Janičić

Serbian mathematician

Rafael Peñaloza

Computer scientist

Thomas Wies

Computer scientist

Michael Kinyon

Author

Michael Kenneth Kinyon