Hernan Ponce De Leon

Hernan Ponce De Leon Email and Phone Number

Principal Software Systems Research Engineer @ Huawei
shenzhen, guangdong, china
Hernan Ponce De Leon's Location
Germany, Germany
Hernan Ponce De Leon's Contact Details

Hernan Ponce De Leon work email

Hernan Ponce De Leon personal email

n/a
About Hernan Ponce De Leon

I work in the intersection of programming languages, security and formal methods. I'm particularly interested in building tools for automatic software verification.

Hernan Ponce De Leon's Current Company Details
Huawei

Huawei

View
Principal Software Systems Research Engineer
shenzhen, guangdong, china
Website:
huawei.com
Employees:
142063
Hernan Ponce De Leon Work Experience Details
  • Huawei
    Principal Software Systems Research Engineer
    Huawei Aug 2022 - Present
    Munich, Bavaria, Germany
    Research leader of the Safe and Scalable System Software Concurrency (S4C) team
    View
  • Bundeswehr University Munich
    Postdoctoral Researcher
    Bundeswehr University Munich Jan 2020 - Jul 2022
    Munich Area, Germany
    - Study the security implications of different micro-architectural optimisations- Designed abstract micro-architectural models- Implement a verification prototype to find speculative execution vulnerabilities in software
    View
  • Fortiss
    Project Lead Of Asset-2
    Fortiss Feb 2018 - Dec 2019
    Munich Area, Germany
    In collaboration with several companies from the avionics domain, we transfer SOTA research solutions to industry. The topics of the project include: collaborative development using models, requirements management, security, re-usability and tool integration.(www.fortiss.org/en/research/projects/detail/asset-2)
    View
  • Fortiss
    Researcher In The Asset And Asset-2 Projects
    Fortiss Feb 2017 - Dec 2019
    View
  • Fortiss
    Project Lead Of The Autofocus3 Development Team
    Fortiss Dec 2017 - Apr 2019
    AutoFOCUS3 is an open-source tool to develop embedded systems using models from the requirements to the hardware architecture, passing by the design of the logical architecture, the deployment and the scheduling. During the period I led the project, the following main chances has been implemented:- migration of our code base from SVN to GIT,- implementation of a new development process (avoiding dead time during code freeze, role based permission to improve the quality of the code base, improvement in the code review), and- improvement in the developer documentation.(af3.fortiss.org/)
    View
  • Aalto University
    Postdoctoral Researcher
    Aalto University Oct 2014 - Nov 2016
    Helsinki
    View
  • Inria
    Phd Student
    Inria Sep 2011 - Sep 2014
    Cachan - France
    View
  • Ecole Centrale Paris
    Vacataire
    Ecole Centrale Paris Sep 2012 - Aug 2014
    Teaching the courses:- Algorithms and data bases- Graph Theory
    View

Hernan Ponce De Leon Skills

Computer Science Algorithms Formal Verification Model Based Testing Latex Distributed Systems Software Engineering Business Process Petri Nets Programming Java Matlab Python

Hernan Ponce De Leon Education Details

Frequently Asked Questions about Hernan Ponce De Leon

What company does Hernan Ponce De Leon work for?

Hernan Ponce De Leon works for Huawei

What is Hernan Ponce De Leon's role at the current company?

Hernan Ponce De Leon's current role is Principal Software Systems Research Engineer.

What is Hernan Ponce De Leon's email address?

Hernan Ponce De Leon's email address is he****@****nibw.de

What schools did Hernan Ponce De Leon attend?

Hernan Ponce De Leon attended École Normale Supérieure De Cachan, Universidad Nacional De Rosario, Unr.

What are some of Hernan Ponce De Leon's interests?

Hernan Ponce De Leon has interest in Verification, Concurrency Theory, Model Based Testing.

What skills is Hernan Ponce De Leon known for?

Hernan Ponce De Leon has skills like Computer Science, Algorithms, Formal Verification, Model Based Testing, Latex, Distributed Systems, Software Engineering, Business Process, Petri Nets, Programming, Java, Matlab.

Who are Hernan Ponce De Leon's colleagues?

Hernan Ponce De Leon's colleagues are Joshua Ngoni Motsi, Saci Faouzi, Kalil Bah, Tong Li, Revti Pawar, Zhu Pingping, Bingpeng Chen.

Not the Hernan Ponce De Leon you were looking for?

View similar profiles

Free Chrome Extension

Find emails, phones & company data instantly

Find verified emails from LinkedIn profiles
Get direct phone numbers & mobile contacts
Access company data & employee information
Works directly on LinkedIn - no copy/paste needed
Get Chrome Extension - Free

Download 750 million emails and 100 million phone numbers

Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.