Invite Freelancer to Project
You don't seem to have an active project at the moment. Why not post a project now? It's free!Post a project
SotaTek Online Offline
- 92%Jobs Completed
- 94%On Budget
- 100%On Time
- 27%Repeat Hire Rate
TESARO: Tesaro Biopharma Naming, Identity, Web, Mobile, Resp
Create a script that filters a source code and returns filtered values - repost
“Great Freelancer!”nobelagency 1 year ago.
develop an android application for world cup 2014
“Great job. Like always very professional, excellent communication and work.”kalopch 1 year ago.
“As usual: Extraordinaire work! Like it a lot and will hire again!”superclansgmxde 1 year ago.
Python log parsing script
“Thank you so much for the quick turn around!”ctecastronomy 1 year ago.
Rewritting a flash game for android
“Great job. Very dedicatied, hard working, detailed, creative.”kalopch 1 year ago.
Android java code example simple zoom and pan demo app
“Thanks! Let's keep in touch for possible future work.”jvirt 1 year ago.
Game EngineerApr 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 ResearcherSep 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.
B.E.2007 - 2011 (4 years)
IBM Certified Solution Designer - Object Oriented Analysis and Design, vUML 2 (2010)IBM
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)Google
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
US English Level 188%
My Top Skills
- Java 96
- Python 23
- PHP 21
- C Programming 16
- Android 15
- 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