SPLASH 2014 (series) / Lingming Zhang
![Lingming Zhang](https://2014.splashcon.org/getProfileImage/lingmingzhang/7b4f9156-fa16-4cad-8dc1-b2236135d610/small.jpg?1711565675000)
Registered user since Tue 27 May 2014
Name:Lingming Zhang
Affiliation:University of Texas at Dallas
Personal website: https://webspace.utexas.edu/lz3548/www/
Research interests:Software Engineering, Formal Methods, and Programming Languages
Contributions
SPLASH 2014-profile
View general profile
View general profile