translateTranslate Tool

This is a machine translation. We don't guarantee the accuracy of the contents.
If you want an accurate translation, please look for bilingual from here.
arrow_downward
タイトル
メッセージの内容
タイトル
メッセージの内容
Confirm
メッセージの内容
Loading..
 

Send Message

  • schedule Status:
    Available to work
  • Appraisal :
  • Job History(F) : 0 Results
  • Viet Nam
  • Favorites : 0 Results
Skills
Home Page Development
Web System Development
Mobile Application Development
Software Development
CMS and Cart Development
Enterprise System Development
Language
No Description
  • Last Login : 2015-06-23
  • Member Since : 2015-06-23

Professional Experience

3+ years of experience in full stack software engineer.
I'm an enthusiasm software developer. Always love to studying and solving challenges in IT projects such as program correctness proofs, optimization algorithms, decision support systems, mobile computing, mobile game.

I'm interested in formal methods and unified theories of programming languages. I believed in correctness proofs of programs through by mathematics predicates.

URL

入力されていません。