RESUME

PERSON INFORMATION

NameDao Cong Quyet

GenderMale

NationalityVietnamese

TelMobile: 01689 287 707

AddressC26, Phu Cuong Market, Phu Cuong, Soc Son, Hanoi, Vietnam

Articles

EDUCATION

2009 – 2012University of Engineering and Technology, National University, Hanoi, Vietnam .

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 execution

Degree: Credit

LANGUAGE

English: Fluent. IELST score 6.5

Skill / Proficiency
Speaking / 4
Listening / 4
Reading / 5
Writing / 4

EXPERIENCE

More than two years using Ruby programming language

Create web applications

Provide high performance, high maintainability systems

Many gems (Ruby libraries)

TDD & BDD

Unit test, acceptance test, integration test, stress test

Automation test

TECHNICAL SKILLS

Programming languages

Skill / Period / Level
Android / 6 months / 3
OCaml / 6 months / 3
Mathematica / 6 months / 3
Objective C / 3 months / 2
Ruby / 2 years / 5
Ruby on Rails / 2 years / 5
Sinatra / 3 months / 2
Rspec / 2 years / 5
Cucumber / 6 months / 3
Javascript/HTML/CSS / 6 months / 4

Operating Systems

System / Period / Level
Windows / 10 years / 5
Ubuntu / 4 years / 5
MacOS / 1 year / 3

Database

Database / Period / Level
Mongo / 1.5 years / 4
MySQL / 6 months / 4
Postgre SQL/SQLite / 2

Project management tools

Tool / Period / Level
Git / 2 years / 5
SVN / 6 months / 3
Jira / 6 months / 3
Gerrit / 1 years / 4

PROJECTS

December 2013 - Until now

Project Facebook Advertisement Log Tracking System
Customer 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 Engineer
Ruby 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
Technologies / Language: Ruby on Rails
Project Evaluation: / Excellent

June 2012 – November 2013

Project: UBox



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 Engineer
Ruby on Rails Developer
Project Evaluation: / Excellent

Summer 2011

Library 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
Technologies / Language: Ruby on Rails
Project Evaluation: / Excellent

RESEARCHES AND ARTICLES

Research

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.

Articles

  1. Reviewing Code with Gerrit
2.TDD & BDD Best Practices with RSpec in Creating Web Service
3.Ruby Coding Conventions
  1. Rails 4 vs Rails 3
5.Create a blog by Rails (in process)
6.Rails 4 vs Rails 3
  1. Automation testingAPI and SQL
  2. Design principles

…

Note: Some of them can be found in my blog page.