Dr. M.M. Bonsangue

Wijzig persoonsdata

• concurrent
• formal
• methods
• object
• oriented
• systems

Werkzaam als

Publicaties

(de meest recente is bovenaan geplaatst)

Context-free Coalgebras

Automated Verification of Recursive Programs with Pointers

Interacting via the Heap in the Presence of Recursion.

A coalgebraic perspective on linear weighted automata.

Brzozowski's algorithm (co)algebraically.

Alle publicaties

Lopende onderzoeksactiviteiten

(de meest recente activiteit is bovenaan geplaatst)
Projectleider	CoRE: Coinductive Calculi of Regular Expressions

Afgesloten onderzoeksactiviteiten

(de meest recente activiteit is bovenaan geplaatst)
Onderzoeker	Componenten en component connectoren
Projectleider	Semantische benadering van component-gebaseerde software
Projectleider	Formele methoden voor coördinatietalen (SEN3.1)

Classificatie

D16300	Theoretische informatica