Prof Jiri Srba
NameJiri Srba
OrganisationAalborg University, Department of Computer Science
Job titleProfessor
Bioformal methods, model checking, control synthesis, applications of formal methods to computer networks, energy control and rain water management
All speakers
- Chris Atherton
- Paal Axelsson
- Abdulrahman Azab
- Wenche Backman-Kamila
- Bert Blocken
- Peter Boers
- Niklas Brinkfeldt
- Tangui Coulouarn
- Christian Damsgaard Jensen
- Eli Dart
- Kushal Das
- Antoine Delvaux
- Roy Dragseth
- Katja Dörlemann
- Sven-Christian Ebenhag
- Jón Ingi Einarsson
- Vidar Faltinsen
- Lars Fischer
- Emil Henry Flakk
- Matthew Fouch
- Anu Fredriksson
- Maria Isabel Gandía
- Oddur Hafsteinsson
- Tobias Hammarström
- Nicole Harris
- David Heed
- Minette Henriksson
- Gyöngyi Horváth
- Bartlomiej Idzikowski
- Yuming Jiang
- Leif Johansson
- Ingimar Jonsson
- Gudrun Jónsdóttir
- Urpo Kaila
- Christos Kanellopoulos
- Rajkumar Kettimuthu
- Josva Kleist
- Hylke Koers
- Kireeti Kompella
- Maarten Kremers
- Harri Kuusisto
- Olav Kvittem
- Matti Laipio
- Jan Lillelund
- Kristina Lillemets
- Stefan Liström
- Johan Lundberg
- Jonny Lundin
- Jan Meijer
- Inder Monga
- Edward Moynihan
- Jani Myyry
- Per Nihlen
- Valter Nordh
- Rolf Sture Normann
- Tracy Northrup
- Tommi Nyrönen
- Sigurd Næss-Schmidt
- Stefan Otto
- Mikael Ottosson
- Jörg Pareigis
- Mads Freek Petersen
- Johan Planmo
- Mario Reale
- Scott Richmond
- Morris Riedel
- Guy Roberts
- Bjørn Rønning
- Robin André Rørstadbotnen
- Tom Røtting
- Ole Widar Saastad
- Hanne Sagen
- Olaf Schjelderup
- Harald Schnatz
- Brook Schofield
- Neil Shewry
- Guðmundur Arnar Sigmundsson
- Áslaug Arna Sigurbjörnsdóttir
- David Smith
- Andreas Åkre Solberg
- Dylan Spalding
- Rogier Spoor
- Jiri Srba
- Kári Stefansson
- Bjørn Tore Sund
- Fredrik Thulin
- Szymon Trocha
- Salu Upadhyay
- Rudolf Vohnout
- Gloria Vuagnin
- Taneli Vuorinen
- Rodney Wilson
- Otto J Wittner
- Bruno de Troch
- Niels van Dijk
- Charlie van Genuchten