From a2ef435ee149a57643b99e70e48312847434aa18 Mon Sep 17 00:00:00 2001 From: Francisco Penedo Date: Thu, 4 Feb 2021 00:15:45 +0100 Subject: [PATCH] Small fixes in bio --- content/authors/admin/_index.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/content/authors/admin/_index.md b/content/authors/admin/_index.md index e2cfd8d..60bfe86 100644 --- a/content/authors/admin/_index.md +++ b/content/authors/admin/_index.md @@ -76,8 +76,8 @@ email: "" highlight_name: false --- -I am a recent graduate from [Boston University](http://www.bu.edu), where I obtained my PhD in Systems Engineering in 2020 from the [Division of Systems Engineering](http://www.bu.edu/eng/departments/se/), where I worked in the [BU Robotics Laboratory](http://sites.bu.edu/robotics/). In 2014, I obtained a BS degree in Computer Science from the [Polytechnic School](http://www.uam.es/ss/Satellite/EscuelaPolitecnica/es/home.htm), as well as a BS degree in Mathematics from the [College of Science](https://www.uam.es/Ciencias/Home.htm), both part of the [Autonomous University of Madrid](http://uam.es/UAM/Home.htm). +I am a recent PhD graduate from [Boston University](http://www.bu.edu), where I obtained my PhD in Systems Engineering in 2020 from the [Division of Systems Engineering](http://www.bu.edu/eng/departments/se/). There, I worked in the [BU Robotics Laboratory](http://sites.bu.edu/robotics/). In 2014, I obtained a BS degree in Computer Science from the [Polytechnic School](http://www.uam.es/ss/Satellite/EscuelaPolitecnica/es/home.htm), as well as a BS degree in Mathematics from the [College of Science](https://www.uam.es/Ciencias/Home.htm), both part of the [Autonomous University of Madrid](http://uam.es/UAM/Home.htm). -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. +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 formal, but 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" >}} You can find my full resumé here: {{< staticref "media/cv.pdf" >}}PDF{{< /staticref >}}/{{< staticref "media/cv.html" >}}HTML{{< /staticref >}}.