MengWang

Aug 2016 - May 2018

Department of EECS, Cleveland State University (CSU), Cleveland, Ohio
M.S. in Computer and Information Science

Aug 2015 - Aug 2016

Department of Computer Science, Texas State University (TSU), San Marcos, Texas
M.S. Student in Computer Science

Aug 2006 - July 2008

Harbin Institute of Technology (HIT), China
M.S. in Control Science and Engineering

Aug 2002 - July 2006

Harbin Institute of Technology (HIT), China
B.S. in Automation

Aug 2015 - Aug 2016

Research Assistant
Department of Computer Science, Texas State University
Worked on software verification and testing:

• Evaluated performance of a memorized symbolic execution tool, called Memoise, which runs on Java Path Finder (JPF).
• Extended Memoise to improve verification efficiency using formal methods.

Aug 2008 - Oct 2010

Full-time Software Engineer
Huawei Technologies, Shenzhen, China
Worked on carrier grade platform for telecommunication equipment:

• Developed and maintained the Network Time Protocol (NTP) module. (Linux, C++)
• Implemented and maintained data synchronization in hot standby server. (Linux, C++, Shell, Perl)
• Created tools for automatically generating, updating and uploading log files. (Linux, Shell)
• Developed command line-based gateway tools, e.g. add, delete and change. (Linux, C++)
• Maintained a tool chain developed for continuous integration for large projects. (Linux, Shell, .bat)

Aug 2006 - July 2008

Research Assistant
Department of Control Science, Harbin Institute of Technology
Worked on developement and implementation of multiple control algorithms:

• Developed and simulated a three-tank water system using MATLAB Simulink.
• Empirically studied control algorithms including conventional PID, Fuzzy and Model Predictive.
• Implemented a three-tank water system, developed a user interface for Experimental Physics and Industrial Control System (EPICS), and experimentally compared EPICS with MATLAB.

Operating Systems

• Microsoft Windows
• Linux (Ubuntu, SUSE, and Red Hat)

Software

• VI
• GDB
• SVN
• GIT
• Makefile
• LATEX
• Eclipse
• MySQL Workbench
• SQL Developer
• Unity

Programming Languages

• C/C++
• Python
• Java
• C#
• Shell
• Perl
• MATLAB
• MySQL
• R
• HTML
• CSS