Pensum til selvvalgte (og andre) temaer
Biokjemiske/biologi reaksjoner (Mick); hjerne og Parkinson (Triera); knekke Internet Explorer (Samuel); knekke EuroPay/MasterCard/VISA kort-betaling og andre ting med Tamarin (Kristin); semantikk for C i K (Åsmund); analysere elektroniske kontrakter ved formell semantikk for EVM (Benjamin); monitoring (2 personer; IN9100; Joachin og Lars). I tillegg pensum i probabilistiske systemer som jeg foreleser denne uken.
Publisert 19. okt. 2023 01:24
- Sist endret 2. nov. 2023 17:02