Profile image of procoder898
@procoder898
Flag of Vietnam Ha Noi, Vietnam
Member since September, 2009
0 Recommendations

SotaTek

SotaTek is a global software outsourcing company and mobile game publisher providing innovative solutions for all your software development needs. Our objective is to provide services at cost effective price as well as scalability benefit to customer around the globe including individuals and companies via freelancing, assisting them to decrease the development cost. SotaTek has expertise in various software development services for small to large business models. We offer guaranteed high quality with outstanding accuracy in our services. We are easy-to-work-with. We know that much of the work of building solutions is getting the job done on time and within budget.

$20 USD/hr
154 Reviews
6.6
  • 92%Jobs Completed
  • 94%On Budget
  • 100%On Time
  • 27%Repeat Hire Rate

Recent Reviews

Experience

Game Engineer

Apr 2011

I am the leading Android GE at Punch Entertainment Vietnam who developed several games such as Home Run Blast for Android, Mobile Battle, etc... I gained experience working in Unity framework which allows exporting game to multiple platforms.

Mitani Researcher

Sep 2009 - Apr 2010 (7 months)

Researching the protocol model checking for Java programs against their UML specification. This is a science research project that was performed in the collaboration between University of Engineering and Technology and the Mitani Sangyo Co., LTD, Japan. I constructed a handy tool that verifies the conformance between Java programs and UML Sequence diagram specification.

Education

B.E.

2007 - 2011 (4 years)

Certifications

IBM Certified Solution Designer - Object Oriented Analysis and Design, vUML 2 (2010)

The Solution Designer is an individual who provides services related to developing use case, software architecture, software analysis, and software design models using Unified Modeling Language Version 2 (UML 2). The Solution Developer is expected to be knowledgeable of the aspects of the software development lifecycle that relate to modeling. He or she is expected to be able to conceive and describe the static and the dynamic aspects of software systems, making use of all UML 2 diagram types.

Google Summer of Code (2010)

I participated in the GSoC '10 program and developed open source software with Google's sponsor for The Java Pathfinder Team. This team is lead by the Nasa Ames Research Center, but includes mentor from UIUC, NCSU, University of Texas, Brigham Young University and the universities of Stellenboshch SA, Tokyo JP and Prague CZ. More information about this project can be found at NASA

Fundamental Information Technology Engineer Examination (2010)

The Fundamental IT Engineers Exam (FE) is one of the 14 exams given by the Japan IT Engineers Examination Center (JITEC) of the Information technology Promotions Agency (IPA) of the Ministry of Economy, Trade & Industry (METI) of Japan. These exams are based on an established Information Technology Engineers Skill Standards (ITSS). The FE Exam is used to evaluate the knowledge and skills of an IT personnel (engineer) on the fundamentals of I.T. The Fundamental IT Engineers Exam (FE) requires the person to have the ability to develop a good program by making full use of techniques related to basic-level algorithm and data structure. The FE Exams also requires the person to be able to successfully carry out jobs such as program development, unit tests, and system integration tests.

Sun Certified Java Programmer (SCJP) (2008)

The Java Standard Edition 6 Programmer Certified Professional Exam is for programmers experienced using the Java programming language. Achieving this certification provides clear evidence that a programmer understands the basic syntax and structure of the Java programming language and can create Java technology applications that run on server and desktop systems using Java SE 6

Publications

Verifying Implementation of UML Sequence Diagrams Using Java PathFinder

The introduction of combined fragments to UML 2.x sequence diagrams makes it much harder for programmers to check manually the correctness of an implementation, especially when the fragments are nested. We develop an extension for Symbolic Java Path Finder (SPF) to verify if a Java program correctly implements its sequence diagram specification. Our main contribution is an algorithm to follow SPF exploration both when it advances and when it backtracks to find execution paths that are not specified in the s

Cheking implementations of uml 2 sequence diagram

Model checking LTL Properties with Symbolic Execution for Java

Badges

  • The Regular

    Log in every day for 1 week.
  • Fast Responder

    Bid within 2 minutes of a project being listed.
  • Simply the Best

    Complete 5 or more projects, with a 95% completion rate.
  • Pro-Profile

    Complete your Profile 100%.
  • US English Qualified

    Pass the US English Exam (Level 1)
  • The Spartan

    Bid on 300 projects.
  • The Multi-tasker

    Complete 40 projects.
  • Nine-to-Fiver

    Win a project and accept the offer.
  • The Biller

    Create an hourly invoice.
  • Perfectionist

    Receive 5-star ratings in 90% of your completed projects (minimum 10 projects).
  • The Collector

    Reach a balance of 5,000 credits.
  • Mover and Shaker

    Create 50 Milestones.
  • Quick Pick

    Award your project within 24 hours of posting
  • Feedback Guru

    Receive 10 reviews
  • Smooth Operator

    Complete 10 projects on time.
  • The Critic

    Post 10 Reviews.
  • The Economist

    Complete 10 projects on budget.
  • Insta-Hire

    Use Hire Me to employ a Freelancer.
  • The Giver

    Award your project to a Freelancer.
  • Smart Money

    Create 10 Milestones.
  • The Prospector

    Post your first project.
  • Essential Credentials

    Update your account details 100%
  • All Star

    Receive a 5-star rating for a project.
  • The Perfectionist

    Edited a bid.
  • The Seeker

    Bid on 20 projects.
  • The Adventurer

    Complete your first project.
  • The Collector

    Reach a balance of 5,000 credits.
  • Mover and Shaker

    Create 50 Milestones.
  • Simply the Best

    Complete 5 or more projects, with a 95% completion rate.
  • The Spartan

    Bid on 300 projects.
  • The Multi-tasker

    Complete 40 projects.
  • Perfectionist

    Receive 5-star ratings in 90% of your completed projects (minimum 10 projects).
  • Smooth Operator

    Complete 10 projects on time.
  • The Economist

    Complete 10 projects on budget.
  • Smart Money

    Create 10 Milestones.
  • All Star

    Receive a 5-star rating for a project.
  • The Regular

    Log in every day for 1 week.
  • Fast Responder

    Bid within 2 minutes of a project being listed.
  • Pro-Profile

    Complete your Profile 100%.
  • US English Qualified

    Pass the US English Exam (Level 1)
  • Nine-to-Fiver

    Win a project and accept the offer.
  • The Biller

    Create an hourly invoice.
  • Quick Pick

    Award your project within 24 hours of posting
  • Feedback Guru

    Receive 10 reviews
  • The Critic

    Post 10 Reviews.
  • Insta-Hire

    Use Hire Me to employ a Freelancer.
  • The Giver

    Award your project to a Freelancer.
  • The Prospector

    Post your first project.
  • Essential Credentials

    Update your account details 100%
  • The Perfectionist

    Edited a bid.
  • The Seeker

    Bid on 20 projects.
  • The Adventurer

    Complete your first project.

Exams

  • Freelancer Orientation
    90%
  • US English Level 1
    88%

My Top Skills

  • Java 96
  • C++ Programming 25
  • Python 23
  • PHP 21
  • MySQL 17
  • C Programming 16
  • Android 15
  • Javascript 14
  • C# Programming 10
  • XML 8
  • .NET 8
  • Algorithm 6
  • Data Mining 6
  • Web Scraping 5
  • HTML 5
  • Data Processing 3
  • Data Entry 3
  • Excel 2
  • UML Design 2
  • jQuery / Prototype 2
  • Engineering 1
  • Ruby on Rails 1
  • Matlab & Mathematica 1
  • SQL 1
  • Django 1
  • Google App Engine 1
  • Cryptography 1
  • Natural Language 1
  • Amazon Web Services 1
  • Windows Desktop 0
  • Linux 0
  • iPhone 0
  • Wordpress 0
  • Facebook Marketing 0
  • Drupal 0
  • CMS 0
  • eCommerce 0
  • Supplier Sourcing 0
  • Codeigniter 0
  • PSD to HTML 0
  • Machine Learning 0

Browse Similar Freelancers