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


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
  • 92%Jobs Completed
  • 94%On Budget
  • 100%On Time
  • 27%Repeat Hire Rate

Recent Reviews


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.



2007 - 2011 (4 years)


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)

Japan IT Engineers Examination Center (JITEC)

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)

Sun Mcrosystems

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


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


  • Freelancer Orientation
  • US English Level 1

My Top Skills

  • Java 96
  • Python 23
  • PHP 21
  • C Programming 16
  • Android 15
  • Javascript 14
  • XML 8
  • Mobile Phone 8
  • Engineering 1
  • SQL 1
  • Windows Desktop 0
  • Linux 0
  • iPhone 0
  • Wordpress 0
  • Objective C 0
  • Codeigniter 0
  • Smarty PHP 0
  • Unity 3D 0

Browse Similar Freelancers