fran/website
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Added CV

Browse Source
This commit is contained in:
Francisco Penedo Alvarez
2021-01-31 21:05:58 +01:00
parent cb1f1cbde5
commit f735a3c67e
3 changed files with 480 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
content/authors/admin/_index.md
View File

@@ -80,4 +80,4 @@ I am a recent graduate from [Boston University](http://www.bu.edu), where I obta
My research centers around the development of a framework to automatically synthesize and verify physical systems, specifically those modeled by partial differential equations, with constraints expressed in a user-friendly language. To this end, I employ tools and techniques from formal methods, temporal logics, optimization, machine learning and control theory.
{{< icon name="download" pack="fas" >}} Download my {{< staticref "media/demo_resume.pdf" "newtab" >}}resumé{{< /staticref >}}.
{{< icon name="download" pack="fas" >}} You can find my full resumé here: {{< staticref "media/cv.pdf" >}}PDF{{< /staticref >}}/{{< staticref "media/cv.html" >}}HTML{{< /staticref >}}.