-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
132 lines (125 loc) · 5.37 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
128
129
130
131
132
<!doctype html>
<html>
<head>
<meta charset="utf-8"/>
<!-- It's irrelevant to maintain this and increase the data transmission:
<link rel="icon" type="image/png" href="img/glider.png" /> -->
<link rel="stylesheet" href="style.css">
</head>
<title href=".">andsanmar</title>
<body>
<nav class="nav-bar">
<div class="container">
<input type="checkbox" id="drop-down-cbox"/>
<label for="drop-down-cbox">
<span></span>
<span></span>
<span></span>
</label>
<h1 class="site-logo"><a href=".">andsanmar</a></h1>
<ul class="main-nav small-caps">
<li><span>About</span>
<ul><li><a href="publications.html">Publications</a></li></ul>
<ul><li><a href="blog.html">Blog</a></li></ul>
</li>
<li><span>Find me</span>
<ul> <li><a href="https://github.com/andsanmar">Github</a></li> </ul>
<ul> <li><a href="https://scholar.google.com/citations?user=bRJpHdQAAAAJ&hl=en">Google
Scholar</a></li> </ul>
<ul> <li><a href="https://dblp.org/pers/hd/s/S=aacute=nchez:Andr=eacute=s">DBLP</a></li> </ul>
</li>
<li><span>Contact</span>
<ul> <li><a href="mailto:[email protected]">email</a></li></ul>
<!--
<ul> <li><a href="https://www.linkedin.com/in/andsanmar/">linkedin</a></li></ul>
<ul> <li><a href="https://twitter.com/andsanmar">twitter</a></li></ul>
-->
</li>
</ul>
</div>
</nav>
<br>
<center style="font-weight: bold; font-size: 3rem"><a href=".">Andrés Sánchez</a></center>
<center style="font-size: 2.3rem">PhD student @ EPFL</center>
<div class="content">
<h1>Who I am?</h1>
I am a PhD student of the <a class="link"
href="https://www.epfl.ch/education/phd/edic-computer-and-communication-sciences/">EDIC
program</a> at
<a class="link" href="https://www.epfl.ch/en/">EPFL</a>, at the same time
I form part of the <a class="link" href="http://hexhive.epfl.ch/">HexHive
group</a>, advised by <a class="link"
href="http://nebelwelt.net/">Prof. Mathias Payer</a>. My research focuses
on systems security principles and how security-related abstractions can
be preserved through all the processing stack. You can find more about
myself and my background in my <a class="link" href="cv.pdf">CV</a>.
<h2>Background</h2>
On summer of 2020 I completed an internship at <a class="link"
href="https://www.zurich.ibm.com/">IBM Research Zurich</a> in the
<a class="link" href="https://www.zurich.ibm.com/systemsecurity/">Systems
Security group</a>. Previously I have completed a MSc of Computer Science
at <a class="link" href="https://www.epfl.ch/en/">EPFL</a> and a BSc on
Mathematics and Computing at <a class="link"
href="https://www.upm.es/">UPM</a> and participated on a summer internship
at <a class="link" href="https://www.csail.mit.edu/">MIT CSAIL</a> working
under the supervision of <a class="link"
href="http://people.csail.mit.edu/sanchez/">Prof. Daniel Sánchez</a> on
security implications of cache compression.
<br>
I have formed part of <a class="link"
href="https://software.imdea.org/">IMDEA Software Institute</a> as a
research intern advised by <a class="link"
href="https://mguarnieri.github.io/">Prof. Marco Guarnieri</a>, focusing
my research on <i>Analysis of countermeasures against speculative
execution attacks</i> and <i>Detecting speculative information flows in
large code-bases</i>.
<br>
I have always enjoyed on playing with the internals and abstractions of
nowadays computer systems.
<br>
<div id="grid">
<div id="columngrid">
<h2>Main research interests</h2>
Security <br>
Computer Systems <br>
<a style="margin-left: 1em"> Computer Architecture </a> <br>
<a style="margin-left: 2em"> Memory systems </a> <br>
<a style="margin-left: 1em"> Operating systems </a> <br>
<a style="margin-left: 1em"> Design decisions </a> <br>
Program Analysis <br>
</div>
<div id="columngrid">
<h2>Other interests</h2> <!-- TODO expand this list with interests out of CS scope and redisribute the CS ones -->
Formal Verification <br>
Compilers <br>
Programming Languages (Functional and Low level) <br>
Software Optimizations & Performance <br>
Algorithms and Data Structures <br>
Theoretical Foundations of Computer Science <br>
Information Flow & Privacy <br>
</div>
<div id="columngrid"><!-- TODO expand-->
<h2>Programming Languages</h2>
<center>
Haskell   Rust   C   C++   LaTeX<br>
Assembly   Python   Prolog
</center>
<h2>Technologies Expertise</h2>
<center>
Linux   Git   LLVM
</center>
</div>
</div>
<br>
<a style="font-weight: bold; font-size: 1.2rem">Find me -</a>
<a class="link" href="https://github.com/andsanmar">Github</a> |
<a class="link" href="https://scholar.google.com/citations?user=bRJpHdQAAAAJ&hl=en">Google Scholar</a> |
<a class="link" href="https://dblp.org/pers/hd/s/S=aacute=nchez:Andr=eacute=s">DBLP</a>
<br>
<a style="font-weight: bold; font-size: 1.2rem">Contact me -</a>
Email: <a class="link" href="mailto:[email protected]">andres dot sanchez at epfl dot ch</a>
<br>
<div class="small-caps" align="right" style="right:0px; position: relative; bottom: 0px;">
Last update: September 2021</div>
</body>
</html>