Gabriele Puppis
|
Gabriele Puppis
Research Assistant
Junior Research Fellow
gabriele.puppis@cs.ox.ac.uk
gabriele.puppis@gmail.com
Room 357, Wolfson Building, Parks Road, Oxford OX1 3QD |
Interests
Automata theory, verification, algebras, databases.
Biography
- MSc in CS, Udine University, Italy (2002)
- PhD in CS, Udine University, Italy (2006)
- Postdoc, Udine University, Italy (2006-2008)
- Postdoc, Oxford University, UK (2009-now)
- Junior Research Fellowship, Linacre College Oxford, UK (2010-now)
Selected Publications
| Regular Repairs of Specifications Michael Benedikt‚ Gabriele Puppis and Cristian Riveros In LICS'11: Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science. 2011. |
| Regular Languages of Words Over Countable Linear Orderings Olivier Carton‚ Thomas Colcombet and Gabriele Puppis In ICALP'11: Proceedings of the 38th International Colloquium on Automata‚ Languages and Programming. 2011. |
| The Cost of Traveling Between Languages Michael Benedikt‚ Gabriele Puppis and Cristian Riveros In ICALP'11: Proceedings of the 38th International Colloquium on Automata‚ Languages and Programming. 2011. |
Info
|
Themes |
|
|
Activities |
