Huu-Phuc Vo

About Me

• I am a PhD student in Department of Information Technology at Uppsala University and a member of Optimisation Group. I am working on optimisation and constraint programming (e.g. MiniZinc, Gecode), particularly in reformulation of constraint models, verification of reformulated models, applying formal methods to provide automated frameworks for model analysis. My supervisors are professor Di Yuan, professor Justin Pearson, and former supervisor was professor Pierre Flenner.


• From 2015, under the supervision of professors Dave Clarke and Tobias Wrigstad, I began my PhD study and worked on programming languages and type systems, and parallel programming (e.g. Haskell, C/C++11). I used to work in UpScale project.


• From 2012 to 2014, I was a post-graduate student in Computer science at The Graduate University for Advanced Studies (Sokendai) in Tokyo, Japan. Under the supervision of professors Soichiro Hidaka, Zhenjiang Hu, and Hiroyuki Kato, I worked on self-adjusting bidirectional graph transformations (e.g. OCaml/Java).


• In 2009, under the supervison of professor Tran Hanh-Nhi and doctor Lam Quang-Vu, I obtained my bachelor degree of Science in Computer System and Software Engineering at University of Science, Ho Chi Minh city, Vietnam.

Recent News

• Participate NordConsNet workshop, Göteborg, Sweden, 2018.
• Participate UPMARC summer school, Uppsala, 2018
• Participate Oregon Programming Languages Summer School, Oregon, USA University of Oregon, From June 26-July 8, 2017
  Topic: A Spectrum of Types
• Participate UPMARC summer school, Uppsala, 2017
• Participate UPMARC summer school, Uppsala, 2016
• Internship at National Institute of Informatics, Tokyo, Japan, 2011

Publications

• 2019: Towards Efficient Solvers for Optimisation Problems - CCGrid 2019. Available Soon.
• 2019: Towards Efficient Algorithm for Optimisation Problems - ETAPS 2019 (Workshop Poster Exhibition). Available Soon.
• 2018: Forward to a Promising Future – COORDINATION 2018 (Best Paper Award) (paper)
• 2017: A perspective from Vietnamese students on teaching of soft skills, LATICE 2017 (paper)

Work Experience

• November 2015 - Now: Teaching assistant at Department of Information Technology , Uppsala, Sweden.
  • Courses: Semantics of Programming Languages, Algorithms and Data Structures 2, Software Engineering, Information Management Systems
• October 2014 - November 2015: Teaching assistant at Department of Information Technology, University of Science, Vietnam National University, Ho Chi Minh city, Vietnam.
  • Courses: Tools and Environment for Software Development, Software Requirements Management.
• October 2011 - October 2012: Teaching assistant at Department of Information Technology, University of Science, Vietnam National University, Ho Chi Minh city, Vietnam.
  • Courses: JavaProgramming, Software Project
• January 2011 - October 2011: Internship at National Institute of Informatics, Tokyo, Japan.
  • Project: Program transformation and program calculation. The project used the functional programming language Haskell and OCaml to develop a library supporting bidirectional graph transformation.
  • Duties: In this project, my duties were to use Haskell or OCaml to implement a matching query algorithm for graph transformation algorithm, integrate the interface with the core engine using MySQL and XML, and develop an effective graphical interface module using Java.
• June 2009 - January 2011: Teaching assistant at Department of Information Technology, University of Science, Vietnam National University, Ho Chi Minh city, Vietnam.
  • Courses: Software Testing, Software Project Management, Softskills for IT students, Object Oriented Programming, Basic Web Programming, Advanced Web Programming.
• December 2007 - May 2008: part-time web developer at Software Engineer Laboratory (SELAB), Department of Information Technology, University of Science, Vietnam National University, Ho Chi Minh city, Vietnam.
  • Project: develop and maintain university website including faculties and departments websites, web content management system and blackboard system (DotNet Nuke), and learning management system (moodle). The project aimed to develop more comprehensive functions that serve thousands of students, lecturers, and researchers.
  • Duties: I was responsible for developing grading function for learning management system (moodle) using C# and .NET framework, and maintaining the lab websites using DotNet Nuke.
• October 2006 - April 2007: Full-time software and web developer at KnG Technology, Ho Chi Minh city, Vietnam
  • Project: the project aimed to develop an e-commerce website for Liquor Company in Japan based on the .NET framework. The work included developing the core engine, and web interface using C# and ASP.NET programming languages; MS SQL Server and MS Access databases; Active Directory, Dotnet Nuke frameworks; CSS3/HTML, Javascript, AJAX frontend scripting languages.
  • Duties: I was responsible for developing the web interface and core engine. My tasks included designing, implementing (in C# and ASP.NET), integrating, testing, and documenting.

Honors/Awards

• Best paper award, COORDINATION 2018, Madrid, Spain, June 2018.


• Honours Scholarship Award for the period October 2012 to March 2013, outlined by The Japan Student Services Organisation (JASSO), Japan, 2012.


• Advanced Study Scholarship Grant for the period October 2012 to October 2017, outlined by The National Institute of Informatics (NII), Tokyo, Japan, 2012.


• Internship Grant for the period January 2011 - October 2011, outlined by The National Institute of Informatics (NII), Tokyo, Japan, 2011.


• Internship Scholarship grant for the period December 2007 - May 2008, Software Engineer Laboratory (SELAB), University of Science, Ho Chi Minh city, Vietnam.

Academic activities

• 2019 : ETAPS 2019, Prague, Czech Republic, student volunteer aid
• 2017 : ETAPS 2017, Uppsala, Sweden, local student aid
• 2011 : ICFP 2011, Tokyo, Japan, local student aid
• 2011 : APSEC 2011, HoChiMinh, Vietnam, local organiser

Projects

• Project: UpScale project which is funded by the European Union for the duration of 3 years, and the vision is to provide programming language support to efficiently exploit multicore and manycore technologies. The project is carried out under the collaboration of the following research partners : CWI (Centrum Wiskunde & Informatica) in Amsterdam, Imperial College London in UK, University of Oslo in Norway, and Uppsala University in Sweden. UpScale’s vision is to provide programming language support to efficiently develop applications that seamlessly scale to the available parallelism of manycore chips without abandoning the object-oriented paradigm and the associated software engineering methodologies.

• Project: SCADA: Scalable Data for Pervasive Parallelism. We develop programming language constructs for specifying aspects of the data distribution for a wide range of data types, and compiler transformations for modifying programs operating on these data types to work with the given data distribution. I was one of the contributors to Encore project.

• Project: Program transformations. We aim to make self-adjusting lenses from pure lenses and propose an approach to maintain the consistency between original source and modified source. More general, we refer to this approach as self-adjusting bidirectional transformations and show that it is a practical and efficient approach.

• Project: Data privacy preservation. GRoundTram system is a powerful tool that was developed by BiG team of National Institute of Informatics, which is designed for building a bidirectional transformation between two models (graphs). The project tackles the challenging issue, which is to support the privacy contexts using GRoundTram system.

• Project: Program transformation and program calculation. The project used the functional programming language Haskell and OCaml to develop a library supporting bidirectional graph transformation. Duties: In this project, my duties were to use Haskell or OCaml to implement a matching query algorithm for graph transformation algorithm, integrate the interface with the core engine using MySQL and XML, and develop an effective graphical interface module using Java.

• Project: Web developer: develop and maintain university website including faculties and departments websites, web content management system and blackboard system (DotNet Nuke), and learning management system (Moodle). The project aimed to develop more comprehensive functions that serve thousands of students, lecturers, and researchers. Duties: I was responsible for developing grading function for learning management system (Moodle) using C# and .NET framework, and maintaining the lab websites using DotNet Nuke.

• Project: Backend developer: the project aimed to develop an e-commerce website for Liquor Company in Japan based on the .NET framework. The work included developing the core engine, and web interface using C# and ASP.NET programming languages; MS SQL Server and MS Access databases; Active Directory, Dotnet Nuke frameworks; CSS3/HTML, Javascript, AJAX frontend scripting languages. Duties: I was responsible for developing the web interface and core engine. My tasks included designing, implementing (in C# and ASP.NET), integrating, testing, and documenting.

• Project: Build Web design company. There are hundreds thousand of shops, restaurants, and companies in Ho Chi Minh city that they do not have a website. To gain more practical experience, I decided start my own Web design company to offer comprehensive services such as web design, maintenance website and databases, and hosting services. Within 6 months, I accomplished 3 contracts with our customers. In August 2005, I terminated the web design company to focus on studying at the university. Duties: I was responsible for all roles in my startup company such as customer services, marketing, developing the web site, choosing technology, working with tax agency, preparing contract, ...