Huy Vu
|
|
Wolfson Building, Parks Road, Oxford OX1 3QD |
Biography
Spring 2012: PhD in Computer Science from Oxford University.
Autumn 2008: MSc in Computational Logic from Free University of Bozen-Bolzano and Dresden University of Technology (TU Dresden).
Links
Selected Publications
| Higher−Order Functions and Structured Datatypes Michael Benedikt and Huy Vu In WebDB: The 15th International Workshop on the Web and Databases (Co−located with ACM SIGMOD). 2012. |
| HOMES: A Higher−Order Mapping Evaluation System Huy Vu and Michael Benedikt In VLDB: The 37th International Conference on Very Large Data Bases. 2011. |
| Complexity of Higher−Order Queries Huy Vu and Michael Benedikt In ICDT: The 14th International Conference on Database Theory. 2011. |
Info
|
Themes |
|
|
Supervisor |
|