Hernan Ponce De Leon
@h_poncedeleon
Research Engineer @Huawei Dresden Research Center (DRC). Interested in #SoftwareVerification, #ProgrammingLanguages and #Security.
ID: 3546223275
https://hernanponcedeleon.github.io/ 04-09-2015 16:06:19
812 Tweet
393 Followers
226 Following
