Onderzoek Informatica
Het onderzoek van Informatica vindt plaats binnen de kaders van het geïntegreerde onderzoeksprogramma Learning and Innovation in Resilient Systems van de faculteit Management, Science & Technology.
Het hoofddoel van het onderzoek is: het vergroten van ons begrip van de innovatieve en lerende mogelijkheden van veerkrachtige systemen, met een focus op:
- informatie en computersystemen,
- organisatie- en managementsystemen en
- omgevingssystemen.
Om dit hoofddoel te bereiken zijn drie onderzoeksprogramma’s geformuleerd die focussen op veerkracht (resilience), leren en innovatie.
- Het doel van het subprogramma Resilience is het vergroten van ons inzicht in het vermogen van systemen om verstoringen te verwerken en te reorganiseren terwijl ze veranderingen ondergaan zodat ze nog steeds dezelfde functie behouden.
- Het doel van het subprogramma Learning is het verbeteren van ons inzicht in het leren van individuen en organisaties.
- Het doel van het subprogramma Innovation is het vergroten van onze kennis over hoe innovaties ontstaan, zich verspreiden en de wereld beïnvloeden en de rol die agency daarbij heeft.
In de spotlight
Workshop Making the smart city safe for citizens: The case of smart energy and mobility
Nieuwsbericht
Bitcoin mining en duurzaamheid
Trustworthy systems
Webcolumn
Hoe groot zijn de risico’s van een hack?
Learning, resilience and innovation
Nieuwsbericht
Eenvoudige techniek moet klant helpen bij veilig online bankieren
Nieuwsbericht
Dutch Model Checking Day 2018: Reductions in model checking
Is het leven langzamerhand echt afhankelijk van goede ict?
Nieuws
16 juli 2018
Hoe laat je computers harder werken?
Moderne computers kunnen meerdere berekeningen gelijktijdig verwerken. Tenminste: de hardware, de computers zelf kunnen dat. Moderne computersoftware laat vaak maar één berekening tegelijk uitvoere...
18 juli 2018
Welk type leider heeft de stad van de toekomst nodig?
De stad van de toekomst krijgt te maken met allerlei uitdagingen. Denk maar aan sociale instabiliteit, milieuvervuiling, maar ook verkeersonveiligheid of terroristische aanvallen. Veiligheid en duu...
16 mei 2018
Dutch Model Checking Day 2018: Reductions in model checking
Model checking is a tool-supported technique to analyse the correctness of ICT systems that enjoys increasing popularity in both scientific and industrial circles. In the past decades, research in ...
Agenda
07
sep
07 september 2018
14:00
– 21:30
Informatica studiedag
Ieder kwartaal is er aan het begin van de onderwijsperiode een 'Informatica studiedag' voor de bacheloropleidingen Informatica en Informatiekunde en de masteropleidingen Computer Science en Softwar...
11
dec
11 december 2018
Vooraankondiging Research briefing BISS-institute
Het BISS-instituut, het wetenschappelijk instituut verbonden aan de Smart Services Campus in Heerlen organiseert jaarlijks een aantal research briefings. Prof. dr. Ir. Remko Helms, als ...
29
okt
29 oktober 2018
– 02 november 2018
OU gastheer conferentie Relational and Algebraic Methods in CS
De 17e Internationale Conferentie over Relationele en Algebraïsche Methoden in Informatica (RAMICS 2018) wordt dit jaar georganiseerd door de Open Universiteit en vindt plaats in Groningen, van 29 ...