Huy Vu
Dr Huy Vu
Postdoctoral Researcher
qhuyvu at gmail.com
+44 (0) 7549736994
+44 (0) 1 865 272595 (Fax)
Biographical sketch
November 2011 - present: Postdoctoral researcher at the Department of Statistics, working on the project: "COGANGS" - Comparative Genomics and Next Generation Sequencing - Software Development for Annotation of very large number of genomes.
2012: PhD in Computer Science from Oxford University.
2008: MSc in Computational Logic from Free University of Bozen-Bolzano and Dresden University of Technology (TU Dresden).
Research interests
Databases (Relational, XML), Software Development for Bioinformatics, Algorithms, Information Exchange, and Functional Programming.
About my research
I am developing novel algorithms and heuristics for applying evolutionary model inference techniques to large phylogenies by segmentation into smaller parts. I also develop Java software implementing these methods under CLC Bio's platforms.
During my D.Phil I investigated higher-order queries that combine higher-order transformations with traditional database query languages, such as SQL and XQuery. In additional to theoretical results, I have implemented an evaluation system for these higher-order queries (HOMES).
Selected publications
M. Benedikt and H. Vu. Higher−Order Functions and Structured Datatypes. In Proceedings of WebDB: The 15th International Workshop on the Web and Databases Scottsdale, US, May 2012.
H. Vu and M. Benedikt. HOMES: A Higher-Order Mapping Evaluation System (demo). In Proceedings of the 37th International Conference on Very Large Data Bases, Seattle, US, August 2011.
H. Vu and M. Benedikt. Complexity of higher-order queries. In Proceedings of the 14th International Conference on Database Theory, Uppsala, Sweden, March 2011.
M. Benedikt, G. Puppis, and H. Vu. Positive Higher Order Queries. In Proceedings of the 29th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, Indianapolis, US, June 2010.
D. C. Phung, K. D. Tran, and H. Vu. Solving the Best Truth Value Bound (BTVB) in DL ALCFLH. ICT Research and Development Journal, 2008.
Printer Friendly Version 