-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
127 lines (89 loc) · 5.35 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
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
<!DOCTYPE html>
<html lang="en"><head>
<meta charset="utf-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1"><!-- Begin Jekyll SEO tag v2.8.0 -->
<title>About me | Ignacio Tiraboschi</title>
<meta name="generator" content="Jekyll v4.3.3" />
<meta property="og:title" content="About me" />
<meta property="og:locale" content="en_US" />
<meta name="description" content="Website of Ignacio Tiraboschi." />
<meta property="og:description" content="Website of Ignacio Tiraboschi." />
<link rel="canonical" href="ignatirabo.github.io/" />
<meta property="og:url" content="ignatirabo.github.io/" />
<meta property="og:site_name" content="Ignacio Tiraboschi" />
<meta property="og:type" content="website" />
<meta name="twitter:card" content="summary" />
<meta property="twitter:title" content="About me" />
<script type="application/ld+json">
{"@context":"https://schema.org","@type":"WebSite","description":"Website of Ignacio Tiraboschi.","headline":"About me","name":"Ignacio Tiraboschi","url":"ignatirabo.github.io/"}</script>
<!-- End Jekyll SEO tag -->
<link rel="stylesheet" href="/assets/main.css"><link type="application/atom+xml" rel="alternate" href="ignatirabo.github.io/feed.xml" title="Ignacio Tiraboschi" /></head>
<body><header class="site-header" role="banner">
<div class="wrapper"><a class="site-title" rel="author" href="/">Ignacio Tiraboschi</a><nav class="site-nav">
<input type="checkbox" id="nav-trigger" class="nav-trigger" />
<label for="nav-trigger">
<span class="menu-icon">
<svg viewBox="0 0 18 15" width="18px" height="15px">
<path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/>
</svg>
</span>
</label>
<div class="trigger"><a class="page-link" href="/">About me</a><a class="page-link" href="/posts/">Posts</a><a class="page-link" href="/publications/">Publications</a></div>
</nav></div>
</header>
<main class="page-content" aria-label="Content">
<div class="wrapper">
<div class="home"><h1 class="page-heading">About me</h1><p>My name is Ignacio Tiraboschi, born and raised in Argentina.</p>
<ul>
<li>Currently, I work at <a href="https://eclypsium.com/">Eclypsium</a>.</li>
<li>I completed my PhD in 2024 at <a href="https://www.ens.psl.eu/">ENS Paris</a>,
under the supervision of <a href="https://www.di.ens.fr/~rival/">Xavier Rival</a>
and <a href="https://www-sop.inria.fr/members/Tamara.Rezk/">Tamara Rezk</a>.</li>
</ul>
<!-- # My last publication
<ol class="bibliography"><li><span id="10.1007/978-3-031-24950-1_13">Tiraboschi, I., Rezk, T., & Rival, X. (2023). Sound Symbolic Execution via Abstract Interpretation and Its Application to Security. In C. Dragoi, M. Emmi, & J. Wang (Eds.), <i>Verification, Model Checking, and Abstract Interpretation</i> (pp. 267–295). Springer Nature Switzerland.</span></li></ol> -->
<h1 id="timeline">Timeline</h1>
<ul class="timeline">
<li class="event" data-date="2024">
<h3>Detection Infrastructure Engineer</h3>
<h4>Eclypsium, inc.</h4>
<p>At <strong>Eclypsium</strong>, my goal is to develop infrastucture for the detection of bugs.</p>
</li>
<li class="event" data-date="2024">
<h3>PhD in Computer Science</h3>
<h4>École normale supérieure, Paris, France</h4>
<p><em>“Intertwining Symbolic Execution and Abstract Interpretation for the Analysis of Security Properties”</em>.</p>
</li>
<li class="event" data-date="2020">
<h3>Licenciatura (BS+MS) in Computer Science</h3>
<h4>Universidad Nacional de Córdoba, Argentina</h4>
</li>
<li class="event" data-date="2018">
<h3>Research internship</h3>
<h4>MPI-SWS, Saarbrucken, Germany</h4>
<p>Internship at MPI with Derek Dreyer.</p>
</li>
</ul>
<!---->
</div>
</div>
</main><footer class="site-footer h-card">
<data class="u-url" href="/"></data>
<div class="wrapper">
<h2 class="footer-heading">Ignacio Tiraboschi</h2>
<div class="footer-col-wrapper">
<div class="footer-col footer-col-1">
<ul class="contact-list">
<li class="p-name">Ignacio Tiraboschi</li><li><a class="u-email" href="mailto:ignacio.tiraboschi (at) eclypsium.com">ignacio.tiraboschi (at) eclypsium.com</a></li></ul>
</div>
<div class="footer-col footer-col-2"><ul class="social-media-list"><li><a href="https://github.com/ignatirabo"><svg class="svg-icon"><use xlink:href="/assets/minima-social-icons.svg#github"></use></svg> <span class="username">ignatirabo</span></a></li></ul>
</div>
<div class="footer-col footer-col-3">
<p>Website of Ignacio Tiraboschi.</p>
</div>
</div>
</div>
</footer>
</body>
</html>