Hjem
Institutt for informatikk
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