Department seminar
Speed Talks
Hovedinnhold
This Department seminar is composed by 3 speed talks given by our own in-house researchers.
Crystal Chang Din
"Formal verification for the concurrent modelling language ABS"
Wrya Kadir
"Code-based cryptography"
Pål Grønås Drange
"What competitive programming can teach you about non-competitive programming"
The goal is to make us a bit better informed on what our department colleagues are focusing on in their research.
There will be served muffins at 13:45
10.09.2021