Full name: Marcello Bonsangue
Formal name: Dr. M.M. Bonsangue
Function: Scientific Staff Member, employed by UL
Email: Marcello.Bonsangue@cwi.nl
Room: L214
Research groups: Formal Methods
Formal name: Dr. M.M. Bonsangue
Function: Scientific Staff Member, employed by UL
Email: Marcello.Bonsangue@cwi.nl
Room: L214
Research groups: Formal Methods
Career
| 2013 - | Scientific staff member FM - Formal methods |
| 2012 - 2013 | Scientific staff member SEN3 - Foundations of Software Engineering |
| 2009 - 2012 | Temporarily assigned SEN3 - Foundations of Software Engineering |
Recent Publications
| F.S. de Boer, M.M. Bonsangue, J. Rot. Interacting via the Heap in the Presence of Recursion.. Proceedings of Interaction and Concurrency Experience 2012, 2012. |
| F.S. de Boer, M.M. Bonsangue, J. Rot. Automated Verification of Recursive Programs with Pointers. Proceedings of The International Joint Conference on Automated Reasoninging, 2012. |
| F. Bonchi, M.M. Bonsangue, M. Boreale, J.J.M.M. Rutten, A. Silva. A coalgebraic perspective on linear weighted automata.. Information and Computation 211, 77–105, 2012. |
| F. Bonchi, M.M. Bonsangue, J.J.M.M. Rutten, A. Silva. Brzozowski's algorithm (co)algebraically.. Essays dedicated to Dexter Kozen on the occasion of his 60th Birthday., 2012. |
| M.M. Bonsangue, J.J.M.M. Rutten, J. Winter. Defining context-free power series coalgebraically.. Proceedings of Coalgebraic Methods in Computer Science 2012, 2012. |
