Einar Broch Johnsen

@ebjohnsen

Professor of Computer Science, University of Oslo. Coordinator EU FP7 on formal methods for cloud computing

Oslo, Norway
einarj.at.ifi.uio.no
Vrijeme pridruživanja: prosinac 2010.

Medijski sadržaj

  1. 4. pro 2019.

    presenting a survey on formal specification and verification of autonomous robotic systems. Journal first at

    3 proslijeđena tweeta 6 korisnika označava da im se sviđa
  2. 3. pro 2019.

    The general chair opens with the PC chairs Lizeth Tapia and Wolfgang Ahrendt

    4 proslijeđena tweeta 11 korisnika označava da im se sviđa
  3. 2. pro 2019.

    talking about distributed declarative models at the FMAIL workshop

    1 reply 1 korisnik označava da mu se sviđa
  4. 2. pro 2019.

    Francesco Leofante (Imperial College) kicking off the workshop on formal methods and AI for Logistics at in Bergen

    2 proslijeđena tweeta 1 korisnik označava da mu se sviđa
  5. 6. stu 2019.

    Attending the project meeting in Dresden this week, discussing runtime verification in hardware with et al.

    3 proslijeđena tweeta 2 korisnika označavaju da im se sviđa
  6. 18. lis 2019.

    Bjørnar Luteberget about to start on his PhD defense!

  7. 13. kol 2019.

    Marieke Huisman kicking off the KeY Symposium 2019 in Manigod (French alps). Old-school screen for the projector gives the talks a nice analogue feel

    1 proslijeđeni tweet 5 korisnika označava da im se sviđa
  8. 18. srp 2019.

    Hey, we got the distinguished artifact award!

    3 proslijeđena tweeta 23 korisnika označavaju da im se sviđa
  9. 17. srp 2019.

    kicks off our paper presentation at

    2 korisnika označavaju da im se sviđa
  10. 29. svi 2019.

    Dialogue. Generation gap.

    1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
  11. 22. svi 2019.

    2 korisnika označavaju da im se sviđa
  12. 3. tra 2019.

    Farhad Arbab composing protocols live in London

    3 korisnika označavaju da im se sviđa
  13. 20. pro 2018.

    Christmas talk by Birger Møller Pedersen: what is the difference between modelling and programming?

    1 reply 1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
  14. 16. stu 2018.

    Hanging out at Arnd Poetzsch-Heffter’s festschrift symposium

    1 reply 1 korisnik označava da mu se sviđa
  15. 26. lis 2018.

    Nice talk by at NWPT this morning on IoT security

    1 reply 2 proslijeđena tweeta 8 korisnika označava da im se sviđa
  16. 19. ruj 2018.

    Johanna Stumpf on Virtually Timed Ambients follows Uli Fahrenberg’s tslk on Energy Automata in Spitsbergen

    3 korisnika označavaju da im se sviđa
  17. 19. ruj 2018.

    This week, it’s happening at in Spitsbergen

    4 korisnika označavaju da im se sviđa
  18. 7. ruj 2018.

    Nice talk by Johanna Stumpf on Resource-Aware Virtually Timed Ambients at this morning!

    2 proslijeđena tweeta 3 korisnika označavaju da im se sviđa
  19. 6. ruj 2018.

    kicks off today, with a keynote on dynamic symbolic execution

    2 proslijeđena tweeta 6 korisnika označava da im se sviđa
  20. 24. kol 2018.

    Tonight, in Bergen!

@ebjohnsen još nije poslao/la nijedan tweet s fotografijama ili videozapisima.

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·