About me

Hernan Ponce de Leon

I'm a Principal Software Systems Research Engineer at Huawei. I work in the intersection of programming languages, security and formal methods. I'm particularly interested in developing and using automatic tools to make low level code correct, secure and performant on emerging architectures.

If you want to get in contact, please send me an email





I am / have been serving on the program committees of the following conferences and workshops: