-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
77 lines (68 loc) · 3.95 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8" />
<title>About me</title>
<link rel="stylesheet" href="https://hernanponcedeleon.github.io/theme/css/main.css" />
<!--[if IE]>
<script src="http://html5shiv.googlecode.com/svn/trunk/html5.js"></script>
<![endif]-->
</head>
<body id="index" class="home">
<header id="banner" class="body">
<h1><a href="https://hernanponcedeleon.github.io/">Hernán Ponce de León </a></h1>
<nav><ul>
<li class="active"><a href="https://hernanponcedeleon.github.io/">About me</a></li>
<li><a href="https://hernanponcedeleon.github.io/pages/publications.html">Publications</a></li>
<li><a href="https://hernanponcedeleon.github.io/pages/tools.html">Tools</a></li>
<li><a href="https://hernanponcedeleon.github.io/category/blog.html">Blog</a></li>
</ul>
</nav>
</header><!-- /#banner -->
<section id="content" class="body">
<h1 class="entry-title">About me</h1>
<hr>
<p><style>body {text-align: justify}</style></p>
<p><img alt="Hernan Ponce de Leon" src="images/me.jpeg" style="float:left; padding-right:10px;" width="200"></p>
<p>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.</p>
<p>If you want to get in contact, please <a href="mailto:[email protected]">send me</a> an email</p>
<p> </p>
<p> </p>
<p> </p>
<p> </p>
<hr>
<p>I am / have been serving on the program committees of the following conferences and workshops:</p>
<ul>
<li><a href="https://sv-comp.sosy-lab.org/2023/">SVCOMP 2023</a>: Program Committee / Jury</li>
<li><a href="https://2023.ecoop.org/">ECOOP 2023</a>: Artifact Evaluation Chair</li>
<li><a href="https://pldi22.sigplan.org">PLDI 2022</a>: Artifact Evaluation Committee</li>
<li><a href="https://sv-comp.sosy-lab.org/2022/">SVCOMP 2022</a>: Program Committee / Jury</li>
<li><a href="https://www.usenix.org/conference/usenixsecurity22">USENIX Security 2022</a>: Artifact Evaluation Committee</li>
<li><a href="https://popl22.sigplan.org">POPL 2022</a>: Artifact Evaluation Committee</li>
<li><a href="https://plas21.software.imdea.org">PLAS 2021</a>: Program Committee</li>
<li><a href="https://www.ieee-security.org/TC/SP2021/index.html">S&P 2021</a>: Shadow Program Committee</li>
<li><a href="https://pldi21.sigplan.org">PLDI 2021</a>: Artifact Evaluation Committee</li>
<li><a href="https://sv-comp.sosy-lab.org/2021/">SVCOMP 2021</a>: Program Committee / Jury</li>
<li><a href="https://2020.splashcon.org/track/splash-2020-oopsla">OOPSLA 2020</a>: Artifact Evaluation Committee</li>
<li><a href="https://conf.researchr.org/home/pldi-2020">PLDI 2020</a>: Artifact Evaluation Committee</li>
<li><a href="https://sv-comp.sosy-lab.org/2020/">SVCOMP 2020</a>: Program Committee / Jury</li>
<li><a href="https://popl20.sigplan.org">POPL 2020</a>: Artifact Evaluation Committee</li>
</ul>
<hr>
</section>
<section id="extras" class="body">
<div class="social">
<h2>social</h2>
<ul>
<li><a href="https://github.com/hernanponcedeleon">Github</a></li>
<li><a href="https://twitter.com/h_poncedeleon">Twiter</a></li>
</ul>
</div><!-- /.social -->
</section><!-- /#extras -->
<footer id="contentinfo" class="body">
<p>Powered by <a href="http://getpelican.com/">Pelican</a>. Theme <a href="https://github.com/blueicefield/pelican-blueidea/">blueidea</a>, inspired by the default theme.</p>
</footer><!-- /#contentinfo -->
</body>
</html>