configuration update

Author: rodrigo7491

_config.yml

@@ -25,30 +25,22 @@ author:
   avatar           : "profile-rodrigo-otoni.jpg"
   name             : "Rodrigo Otoni"
   pronouns         : # example: "she/her"  
-  bio              : "Postdoc at USI Lugano"
-  employer         : "USI Lugano"
-  location         : "Switzerland"
+  bio              : "Postdoc at USI Lugano, Switzerland"
+  employer         : # "USI Lugano"
+  location         : # "Switzerland"
   uri              : # URL
   email            : "otonir@usi.ch"
 
   # Academic websites
+  orcid            : "https://orcid.org/0000-0003-1097-2367"
   academia         : # URL
   arxiv            : # URL - Update with the correct link to your profile
   googlescholar    : "https://scholar.google.com/citations?user=mK3qncsAAAAJ&hl=en&oi=ao"
   impactstory      : # URL
-  orcid            : "https://orcid.org/0000-0003-1097-2367"
   semantic         : # URL
   pubmed           : # URL
   researchgate     : # URL
-  scopus           : # URL
-
-  # Repositories and software development
-  bitbucket        : # Username - Update with your username on the site
-  codepen          : # Username
-  dribbble         : # Username
-  github           : "rodrigo7491"
-  kaggle           : # Username  
-  stackoverflow    : # User number or user number and name (i.e., use "1" or "1/jeff-atwood")    
+  scopus           : # URL 
 
   # Social media
   bluesky          : # Replace this with you Bluesky username
@@ -76,6 +68,14 @@ author:
   youtube          : # Username
   zhihu            : # Username
 
+  # Repositories and software development
+  bitbucket        : # Username - Update with your username on the site
+  codepen          : # Username
+  dribbble         : # Username
+  github           : "rodrigo7491"
+  kaggle           : # Username  
+  stackoverflow    : # User number or user number and name (i.e., use "1" or "1/jeff-atwood")
+
 # Publication Category - The following the list of publication categories and their headings
 publication_category:
   books:

_data/navigation.yml

@@ -24,7 +24,7 @@ main:
   #   url: /year-archive/
 
   - title: "CV"
-    url: /cv/
+    url: /files/CV-Rodrigo_Otoni.pdf #/cv/
 
   # - title: "CV"
   #   url: /cv-json/

_pages/about.md

@@ -1,10 +1,14 @@
 ---
 permalink: /
-title: ""
+title: "About me"
 author_profile: true
 redirect_from: 
   - /about/
   - /about.html
 ---
 
-TODO
+I am currently a postdoctoral researcher at **USI Lugano** working on approaches for automated reasoning in the contexts of verification, synthesis, and certification.
+
+I will be joining the **University of Groningen** as an assistant professor in September 2025.
+
+For full details, please see my CV.

_pages/cv.md

@@ -9,16 +9,3 @@ redirect_from:
 
 {% include base_path %}
 
-Education
-======
-* Ph.D in Informatics, USI Lugano, 2023
-* M.S. in Computer Science, Universidade Federal de Pernambuco, 2018
-* B.S. in Computer Science, Universidade Federal de Sergipe, 2016
-
-Work experience
-======
-* Postdoctoral Researcher (Nov. 2023 -- Aug. 2025)
-  * USI Lugano
-
-* Research Engineer (Sep. 2021 -- Dec. 2022)
-  * Informal Systems