Conferinta in Unibuc

[•flmanea]

Joi 10 aprilie ora 13 in sala 318 (etaj 3) a Facultatii de Matematica si Informatica din Universitatea din Bucuresti, va avea loc prezentarea cu titlul "Runtime Verification Based on Register Automata" sustinuta de Radu Grigore.

Un abstract si o scurta prezentare a speaker-ului mai jos. In particular, Radu a contribuit adesea cu comentarii pe forumul infoarena si, daca imi aduc aminte bine, a scris macar un post pe blog.

-----------------------------------------------------------------------------------------------------
Abstract:

Runtime Verification, like Military Intelligence, is an established oxymoron.
It is a thriving research area concerned with finding bugs by monitoring programs while they run.
I will begin with a short review of some notable tools and of the formalisms on which they are based.
Typically, each tool invents its own formalism. I will then present TOPL, a tool whose main claim to glory is that it is based completely on a pre-existing formalism, namely, register automata. The connection between these two domains, runtime verification and automata over infinite alphabets, is rather obvious with hindsight.
Still, the connection was not noticed before, and is yet to be fully exploited.

------------------------------------------------------------------------------------------------------------
O scurta biografie a lui Radu Grigore:

Radu Grigore is a postdoctoral researcher at University of Oxford. Previously (2010--2013), he was a postdoc at Queen Mary, University of London. Earlier (2005-2010), he was a doctoral student at University College Dublin. Even earlier (2003-2005), he was a software engineer in Nobug Consulting, Bucharest.
In 2003, he finished University Politehnica of Bucharest (Electronics).