Cristian Riveros
|
Wolfson Building, Parks Road, Oxford OX1 3QD |
Biography
Cristian is currently reading for a D.Phil under the supervision of Prof. Michael Benedikt. Cristian received his M.Sc. in Computer Science from Pontificia Universidad Católica de Chile in 2008. He was previously at Pontificia Universidad Católica de Chile as an undergraduate where he received his B.A. in Mathematics in 2006 and Professional Degree in Computer Engineer in 2008.
Links
Selected Publications
| Bounded reparability for regular tree languages Gabriele Puppis‚ Cristian Riveros and Slawek Staworko In 15th International Conference on Database Theory (ICDT). 2012. |
| The cost of traveling between languages Michael Benedikt‚ Gabriele Puppis and Cristian Riveros In 38th International Colloquium on Automata‚ Languages and Programming (ICALP). July, 2011. |
| Regular repair of specifications Michael Benedikt‚ Gabriele Puppis and Cristian Riveros In 26th Annual IEEE Symposium on Logic in Computer Science (LICS). June, 2011. |
Info
|
Themes |
|
|
Supervisor |
|
