Velkommen til IN5100

Hei,

dette emnet g?r for f?rste gangen i 2021, og vi h?per og regner med at det blir et interessant emne.  Konkret innhold i emnet kommer senere, men en forel?pig plan er noe a la:

1. Repetisjon av omskrivningslogikk og Maude.
2. Se p? en internett- (transport-)protokoll publisert av en  anerkjent forsker innen nettverk; modellere og analysere den i Maude, og se om vi kan knekke den.  (Oblig 1)
3. Meta-programmering, ogs? oblig 2.
4. Sanntidssystemer
5. Probabilistiske systemer og statistisk modellsjekking (trenger ikke ? kunne statistikk)
6. (Muligens) Semantikk og analyse av programmeringsspr?k i Maude. Et veldig enkelt spr?k som skal ligne et spr?k som Java.
7. (Muligens) Internett-programmering med eksterne objekter som f eks sockets.
8. (For IN9100-studenter) Symbolske analysemetoder som narrowing og Maude-med-SMT.

Vi f?r neppe dekket alle de ovennevnte temaene. Vi f?r se.  Deretter skal vi se p? ulike temaer, hvor studentene kan hvilket emne de vil gi et litet foredrag om.  (Pensum for alle.)  Mine tanker er n? disse temaene, hvor pensum blir gitt i form av artikkel eller to:

• Maude for biologiske prosesser/celler (Pathway Logic) og kanskje for ? modeller hjerner.
• Maude for store cloud-systemer (s?rlig globale transaksjonssystemer).
• Arbeid om semantikk av programmeringsspr?k, f eks om semantikken til C, Java, etc., og kanskje Ethereum.
• Maude modellering og analyse av kognitive prosesser (menneskelig multitasking).

Dette er forel?pige tanker/planer, men jeg er fleksibel, og kanskje finner vi andre temaer/artikler som interesserer mer.  Tror dette blir bra.

Studenter som har tatt IN2100 burde kunne ta emnet.