Robbert Krebbers appointed professor of Programming Languages
July 02, 2026
July 02, 2026
NIJMEGEN, The Netherlands, July 2 -- Radboud University posted the following news:
* * *
Robbert Krebbers appointed professor of Programming Languages
*
As of June 1, 2026, Robbert Krebbers has been appointed professor of Programming Languages at the Faculty of Science.
The research of Krebbers' group focusses on making software safe and secure through mathematical proofs. His group is working on understanding the semantics o . . .
* * *
Robbert Krebbers appointed professor of Programming Languages
*
As of June 1, 2026, Robbert Krebbers has been appointed professor of Programming Languages at the Faculty of Science.
The research of Krebbers' group focusses on making software safe and secure through mathematical proofs. His group is working on understanding the semantics o . . .