Javascript must be enabled for the correct page display
Skip to Content
Skip to Navigation
Rijksuniversiteit Groningen
founded in 1614 - top 100 university
Sluiten
Menu en zoeken
Contact
My University
Student Portal
Nederlands
English
Zoekpagina
<div class="rug-mask js--requires-cookie-consent-trigger"><div class="rug-warning--overlay rug-hidden rug-theme--content"><span class="rug-icon rug-icon--close rug-absolute rug-absolute--top-right rug-mt-xs rug-mr-xs rug-cursor--pointer js--requires-cookie-consent-close"/><div class="rug-notification--info rug-p js-id--alert"><span class="rug-icon rug-icon--warn rug-icon--xl rug-mr-s" aria-hidden="true"/><p>Voor het tonen van deze inhoud is uw toestemming nodig voor het plaatsen van bepaalde cookies.</p><p>U kunt uw <button class="rug-inline-button js--cookie-consent-popup">cookie instellingen aanpassen</button>.</p></div></div></div>
{ "requiresCookieConsentCheck": "true", "checkedCookieConsent": "no", "hasCookieConsent": "no" }
Zoeken
Zoeken
Zoeken
Home
Onderwijs
Onderwijs
Aanmelden, inschrijven en collegegeld
Bachelor
Master
Exchange
Promotietrajecten
Summer / Winter schools
Kennis en leren
Contact
Onderzoek
Onderzoek
Onderzoeksthema's
Onderzoekscentra en -instituten
Promotietrajecten
Vind onderzoek en wetenschappers
Podcasts
Onderzoeksvideo's
Open Science
Research Support Portal
Bibliotheek
Maatschappij/bedrijven
Maatschappij/bedrijven
Kennis en leren
Samenwerken met de RUG
Jong talent
Schools voor Wetenschap & Samenleving
Alumni
Alumni
Terugblik Alumnidag 2024
Voor alumni
Over alumni
Magazines en nieuwsbrieven
Steun onderzoek en onderwijs
Wijziging doorgeven
Contact
Nieuws
Magazine
Nieuwsoverzicht
Actueel
Over ons
Over ons
Actueel
Profiel
Beleid en strategie
Organisatie
Werken bij de RUG
Contact en praktische zaken
Zoeken
Over ons
Praktische zaken
Waar vindt u ons
R.B. (Rodrigo) Otoni
HOME
Onderwijs
Onderzoek
Maatschappij/bedrijven
Alumni
Nieuws
Over ons
R.B. (Rodrigo) Otoni
Profiel
Contact
My University
Student Portal
Nederlands
English
R.B. (Rodrigo) Otoni
Assistant Professor
Faculteit Science and Engineering
Telefoon:
E-mail:
r.b.otoni rug.nl
Homepage
LinkedIn
Vakgebied
Informatica, Theoretische
Logica
Expertise
Automated Reasoning, Formal Methods, Model Checking
Laatst gewijzigd:
05 september 2025 18:08
Contactgegevens
Faculteit Science and Engineering
Fundamentele Informatica — Bernoulli Instituut
Nijenborgh 9
9747 AG Groningen
Nederland
Bernoulli Institute for Math, CS and AI
Nijenborgh 9
9747 AG
Groningen
Functie:
Assistant Professor
Kamer:
5161.0414
Links
Homepage
Google Scholar
DBLP
Volg de RUG
facebook
linkedin
rss
instagram
youtube
Functioneel
Biedt de basisfuncties en maakt gebruik van geanonimiseerde cookies.
Standaard
Biedt de optimale werking en maakt gebruik van onder andere videocookies.
Volledig
Biedt gepersonaliseerde content en maakt gebruik van marketingcookies.
Stel je cookievoorkeur in. Lees onze
privacy
en
cookie disclaimer
voor meer informatie.
