RESUME
PERSON INFORMATIONNameDao Cong
QuyetGenderMaleNationalityVietnameseEmailquyetdc.uet@gmail.comTelMobile:
01689 287 707AddressC26, Phu Cuong Market, Phu Cuong, Soc
Son,Hanoi,
VietnamArticleshttp://labs.septeni-technology.jp/author/dao-cong-quyet/
EDUCATION 2009 2012University of Engineering and Technology,
National University, Hanoi, Vietnam .
http://www2.uet.vnu.edu.vn/coltech/Computer Science, International
standard program (All major subjects was taught in English and was
based on other program of international universities, see
program)Scientific research and graduation thesis: Tracking
round-off error using symbolic executionDegree: Credit
LANGUAGEEnglish: Fluent. IELST score 6.5SkillProficiency
Speaking4
Listening4
Reading5
Writing4
EXPERIENCEMore than two years using Ruby programming
languageCreate web applicationsProvide high performance, high
maintainability systemsMany gems (Ruby libraries)TDD & BDDUnit
test, acceptance test, integration test, stress testAutomation
test
TECHNICAL SKILLSProgramming languagesSkillPeriodLevel
Android6 months3
OCaml6 months3
Mathematica6 months3
Objective C3 months2
Ruby2 years5
Ruby on Rails2 years5
Sinatra3 months2
Rspec2 years5
Cucumber6 months3
Javascript/HTML/CSS6 months4
Operating SystemsSystemPeriodLevel
Windows10 years5
Ubuntu4 years5
MacOS1 year3
DatabaseDatabasePeriodLevel
Mongo1.5 years4
MySQL6 months4
Postgre SQL/SQLite2
Project management toolsToolPeriodLevel
Git2 years5
SVN6 months3
Jira6 months3
Gerrit1 years4
PROJECTSDecember 2013 - Until nowProject Facebook Advertisement
Log Tracking SystemCustomer Septeni Technology
Project description: + While there is a very fast growth of
advertisements on Facebook, How to control users interactions on
these advertisement (ex: website, games ) is very complex but
necessary+ This project provides a system for advertiser to control
users interaction via Facebook to manage the results of their
advertisements.+ This project is very complex, big, and used for a
lot of countries around the worlds
Project size: very big, whole company (not only company branch
in Vietnam but also in other countries)
Role:System Development EngineerRuby on Rails Developer
October 2013 February 2014 (Freelancer)Windmills managements
Description: Create a website, a backend that help manage
windmills from around Euro. Manage blades, errors, reports,
clients, payments
Project size: 2
Role: Developer
TechnologiesLanguage: Ruby on Rails
Project Evaluation: Excellent
June 2012 November 2013Project: UBoxhttp://www.uboxapp.com/
https://play.google.com/store/apps/details?id=com.cnc.ubox
https://itunes.apple.com/app/ubox/id630476471
Project description: A mobile social network that help people
easily share special moments via photo, voice, stickers, text,
Main Features: Easily connect by phone, Facebook, Email Create a
interesting talks with voice, photo, sticker, video, text, or mixes
of them Make friends Follow other people Get Feeds
Notifications
Project size: Greater than 20
Role:System EngineerRuby on Rails Developer
Project Evaluation: Excellent
Summer 2011Library management
Description: Create a website that help Library admin manage
books and users of library, provide a tool for users to borrow
book, etc.
Project size: 5
Role: Developer
TechnologiesLanguage: Ruby on Rails
Project Evaluation: Excellent
RESEARCHES AND ARTICLESResearch Topic: Checking round off error
using symbolic execution Description: Sofware on embbeded systems
uses fixed-point number but usually they are developed in personal
computer using floating-point number with much higher precision.
When porting from floating-point to fixed-point, arithmetic
operations cause round off errors (RE). Finding the maximum RE for
a given program has been a research problem for many decades. We
propose a novel approach that uses symbolic computation for the RE
instead of various types of range approximations for the RE in
classial approaches. During the evaluation of the program, we build
the symbolic expression of the RE parts and use Mathematica to
simplify it. When the evaluation nishes, the symbolic expression is
sent to Mathematica to nd its optimum. If found, the so-lutions for
the optimum is the test data that cause the largest RE. We have
implemented the approach and our initial experimental results are
very good comparing to recent related work.Articles1. Reviewing
Code with Gerrit 2. TDD & BDD Best Practices with RSpec in
Creating Web Service3. Ruby Coding Conventions4. Rails 4 vs Rails
35. Create a blog by Rails (in process)6. Rails 4 vs Rails 37.
Automation testingAPI and SQL8. Design principles Note: Some of
them can be found in my blog page.
