| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Sat, 29 Mar 2025 00:10:04 GMT
access-control-allow-origin: *
etag: W/"67e73a5c-bfa"
expires: Sat, 27 Dec 2025 15:22:21 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: C511:2680BD:6BE36B:78595D:694FF754
accept-ranges: bytes
age: 0
date: Sat, 27 Dec 2025 15:12:21 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210070-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1766848341.253633,VS0,VE203
vary: Accept-Encoding
x-fastly-request-id: 833e09674d925eae63e55338c072f2b1d343f9a3
content-length: 961
Santiago Arranz Olmos
Santiago Arranz Olmos
| Email: | santiago [dot] arranz-olmos [at] mpi-sp [dot] org |
| DBLP: | https://dblp.org/pid/304/6207 |
I'm a PhD student at MPI-SP.
I'm interested in programming languages theory and its application to security.
I did my Master's at Universidad Nacional de Córdoba (UNC). You can download my thesis here (it's in Spanish).
Subpages:
- RIO summer school: /pages/rio-2025-03-10
- Foundations of Cybersecurity at FaMAF: /pages/funcs-2025-02-24
- Jasmin tutorial at FING: /pages/fing-2025-02-19