84 lines
3.3 KiB
Markdown
84 lines
3.3 KiB
Markdown
---
|
|
# Display name
|
|
title: Francisco Penedo Álvarez
|
|
|
|
# Is this the primary user of the site?
|
|
superuser: true
|
|
|
|
# Role/position/tagline
|
|
role: PhD Systems Engineering
|
|
|
|
# Organizations/Affiliations to show in About widget
|
|
organizations:
|
|
- name: Boston University
|
|
url: https://www.bu.edu/
|
|
|
|
# Short bio (displayed in user profile at end of posts)
|
|
bio: My research interests include formal methods, temporal logics and optimization.
|
|
|
|
# Interests to show in About widget
|
|
interests:
|
|
- Formal Methods
|
|
- Temporal Logics
|
|
- Optimization
|
|
- Machine Learning
|
|
- Path Planning
|
|
- Meta-Materials
|
|
|
|
# Education to show in About widget
|
|
education:
|
|
courses:
|
|
- course: PhD in Systems Engineering
|
|
institution: Boston University
|
|
year: 2020
|
|
- course: MEng in Systems Engineering
|
|
institution: Boston University
|
|
year: 2020
|
|
- course: BSc in Computer Science
|
|
institution: Universidad Autónoma de Madrid
|
|
year: 2014
|
|
- course: BSc in Mathematics
|
|
institution: Universidad Autónoma de Madrid
|
|
year: 2014
|
|
|
|
# Social/Academic Networking
|
|
# For available icons, see: https://sourcethemes.com/academic/docs/page-builder/#icons
|
|
# For an email link, use "fas" icon pack, "envelope" icon, and a link in the
|
|
# form "mailto:your-email@example.com" or "/#contact" for contact widget.
|
|
social:
|
|
- icon: envelope
|
|
icon_pack: fas
|
|
link: '/#contact'
|
|
# - icon: twitter
|
|
# icon_pack: fab
|
|
# link: https://twitter.com/GeorgeCushen
|
|
# - icon: graduation-cap # Alternatively, use `google-scholar` icon from `ai` icon pack
|
|
# icon_pack: fas
|
|
# link: https://scholar.google.co.uk/citations?user=sIwtMXoAAAAJ
|
|
- icon: github
|
|
icon_pack: fab
|
|
link: https://github.com/fran-penedo/
|
|
- icon: linkedin
|
|
icon_pack: fab
|
|
link: https://www.linkedin.com/in/francisco-penedo-alvarez-b90468203/
|
|
|
|
# Link to a PDF of your resume/CV.
|
|
# To use: copy your resume to `static/media/resume.pdf`, enable `ai` icons in `params.toml`,
|
|
# and uncomment the lines below.
|
|
# - icon: cv
|
|
# icon_pack: ai
|
|
# link: media/resume.pdf
|
|
|
|
# Enter email to display Gravatar (if Gravatar enabled in Config)
|
|
email: ""
|
|
|
|
# Highlight the author in author lists? (true/false)
|
|
highlight_name: false
|
|
---
|
|
|
|
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 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 >}}.
|