diff --git a/content/authors/admin/_index.md b/content/authors/admin/_index.md index 3b3748c..e2cfd8d 100644 --- a/content/authors/admin/_index.md +++ b/content/authors/admin/_index.md @@ -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 >}}. diff --git a/static/media/cv.html b/static/media/cv.html new file mode 100644 index 0000000..e66e3a3 --- /dev/null +++ b/static/media/cv.html @@ -0,0 +1,479 @@ + + + + + + + +Francisco Penedo Álvarez + + + + + +
+

Francisco Penedo Álvarez

+ +
+

1 Contact Information

+
+ +
+
+ +
+

2 Education

+
+ + + +++ ++ + + + + + + + + + + + + + + + + +
2014-2020PhD, BU Robotics Lab, Division of Systems Engineering, College of Engineering, Boston University, Advisor: Prof PhD Calin Belta, Systems Engineering. Thesis: Formal Methods for Partial Differential Equations
2009-2014Bachelor, Polytechnic School, Autonomous University of Madrid, Computer Science
2009-2014Bachelor, College of Science, Autonomous University of Madrid, Mathematics
+
+
+ +
+

3 Fellowships and Awards

+
+ + + +++ ++ + + + + + + + + + + + + + + + + + + + + + + + + + + +
BU Dean's Fellow2014-2015, from the Division of Systems Engineering, College of Engineering, Boston University.
Best Poster2011, in the XXXII Control Engineering Days in Sevilla. Awarded best poster of the Intelligent Control Thematic Group from the Control Engineering Spanish Committee (CEA).
Introduction to Research2010-2014, from the Spanish National Research Council (CSIC).
Excellence Schollarship2010-2013, from the Community of Madrid. Awarded to the best undergraduate students (approximately those on the 1%) in any university of the Community of Madrid. This award is exclusively based on academic performance during the previous academic year.
Graduated with Honours in High School2009, from the IES nº1 of O Carballiño.
+
+
+ +
+

4 Publications

+
+
    +
  • Penedo, F., H. Park, and C. Belta. “Control Synthesis for Partial Differential +Equations from Spatio-Temporal Specifications.” In 2018 IEEE Conference on Decision +and Control (CDC), 4890–95, 2018. https://doi.org/10.1109/CDC.2018.8619313.
    • + +
  • Bombara, Giuseppe, Cristian-Ioan Vasile, Francisco Penedo, Hirotoshi Yasuoka, and +Calin Belta. “A Decision Tree Approach to Data Classification Using Signal Temporal +Logic.” In Proceedings of the 19th International Conference on Hybrid Systems: +Computation and Control, 1–10. HSCC ’16. New York, NY, USA: ACM, 2016. +https://doi.org/10.1145/2883817.2883843.
    • + +
  • Penedo, Francisco, Cristian-Ioan Vasile, and Calin Belta. “Language-Guided +Sampling-Based Planning Using Temporal Relaxation.” In International Workshop on the +Algorithmic Foundations of Robotics, 2016.
    • + +
  • Penedo, Francisco, Rodolfo E. Haber, Agustín Gajate, and Raúl M. del Toro. “Hybrid +Incremental Modeling Based on Least Squares and Fuzzy K-NN for Monitoring Tool Wear +in Turning Processes.” IEEE Transactions on Industrial Informatics 8, no. 4 (November +2012): 811–18. https://doi.org/10.1109/TII.2012.2205699.
    • +
+
+
+ +
+

5 Talks

+
+ + + +++ ++ + + + + + + +
2 June 2011"Hybrid incremental modeling based on least squares and fuzzy K-NN. Design and evaluation" at VII CEA Symposium of Intelligent Control in Logroño, Spain.
+
+
+ +
+

6 Research Experience

+
+ + + +++ ++ + + + + + + + + + + + + + + + + +
2015-2020Research Assistant, BU Robotics Lab, Division of Systems Engineering, College of Engineering, Boston University.
2013-2014Research Assistant, C4LIFE group, Control Engineering and Robotics Center (CAR), Spanish National Research Council (CSIC).
2011-2013Introduction to Research Fellow, C4LIFE group, Control Engineering and Robotics Center (CAR), Spanish National Research Council (CSIC).
+
+
+ +
+

7 Teaching

+
+ + + +++ ++ + + + + + + + + + + + +
2016Teaching Assistant, Boston University, Introduction to Computer Aided Design (CAD) & Machine Components (ME359)
2015Teaching Assistant, Boston University, Introduction to Linear Algebra for Engineers (EK102 B1)
+
+
+ +
+

8 Skills

+
+
+
+

8.1 Languages

+
+ + + +++ ++ + + + + + + + + + + + + + + + + + + + + + +
EnglishFluent in spoken and written English.
SpanishNative language.
GalicianNative language.
JapaneseBasic knowledge.
+
+
+ +
+

8.2 Computer Skills

+
+ + + +++ ++ + + + + + + + + + + + +
Programming languagesPython, Java, C.
Frameworksnumpy, scipy, matplotlib.
+
+
+
+
+
+

Last Updated: 2021-01-31 Sun 19:18

+
+ + \ No newline at end of file diff --git a/static/media/cv.pdf b/static/media/cv.pdf new file mode 100644 index 0000000..233cdd9 Binary files /dev/null and b/static/media/cv.pdf differ