Resume

  • Hompage: GitHub, GitCafe
  • Email: 2927670573@qq.com
  • Address: College of Information Science and Technology, Hainan University, Haikou, P.R.China
  • Degree: M.S. Candidate
  1. Service computing, formal method, and Web Services
  2. Mathematics, dynamic systems, and formal Logic
  3. Data Mining, machine learning, and artificial intelligence
  4. Programming languages and functional programming languages

Publications

DBLP, collaborated with my supervisor Yucong Duan

  1. Duan, Yucong, Qiang Duan, Abdelrahman Osman Elfaki, and Chengxiang Ren. 2015. “Formalizing over Design and Under Design of Value Engineering for Context-Aware Cloud Service Development.” In FiCloud, 72–79. IEEE Computer Society.
  2. Duan, Yucong, Chengxiang Ren, Nianjun Zhou, Xiaobing Sun, Mingdong Tang, and Honghao Gao. 2015. “A Problem-Value-Constraint Framework for Minimizing Under Design and over Design in Web Service Based System Development.” In ICSS, 117–24. IEEE Computer Society.

Mostly used tools

  • Ralational/Non-Relational: MySQL,PostgreSQL,Redis,MongoDB
  • System Administration: POSIX（Linux,FreeBSD）,Cluster,Service Orchestration,SOA
  • Imperative/Declarative: Scala/Java,Python,C#/F#,Erlang/Elixir,Haskell,OCaml,Node.js/Javascript
  • Data Analytics/Scientific: Mathematica/Matlab,R/Python,Sagemath
  • Software Development: git,Selenium,Play Framework,Hadoop/Spark
  • Service Computing: WS-*, Apache CXF, SCA/SDO/BPEL
  • Document Writing: LaTeX,MS Office,pandoc,markdown,sphinx,doxygen

Hobbies

swimming table tennis tennis roller skating freeline skating