Skip to content

Commit 72f4f91

Browse files
committed
configuration update
1 parent 57d75fc commit 72f4f91

2 files changed

Lines changed: 10 additions & 8 deletions

File tree

_config.yml

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -25,14 +25,14 @@ author:
2525
avatar : "profile-rodrigo-otoni.jpg"
2626
name : "Rodrigo Otoni"
2727
pronouns : # example: "she/her"
28-
bio : "Postdoc at USI Lugano, Switzerland"
29-
employer : # "USI Lugano"
30-
location : # "Switzerland"
28+
bio : "Assistant Professor at the University of Groningen"
29+
employer : # ""
30+
location : # ""
3131
uri : # URL
32-
email : "otonir@usi.ch"
32+
email : # ""
3333

3434
# Academic websites
35-
academia : # URL
35+
academia : "https://www.rug.nl/staff/r.b.otoni"
3636
arxiv : # URL - Update with the correct link to your profile
3737
googlescholar : "https://scholar.google.com/citations?user=mK3qncsAAAAJ&hl=en&oi=ao"
3838
impactstory : # URL

_pages/about.md

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,16 @@
11
---
22
permalink: /
3-
title: "About me"
3+
title: ""
44
author_profile: true
55
redirect_from:
66
- /about/
77
- /about.html
88
---
99

10-
I am currently a postdoctoral researcher at **USI Lugano**, Switzerland, working on approaches for automated reasoning in the contexts of verification, synthesis, and certification.
10+
I am an Assistant Professor at the University of Groningen, Netherlands, working on approaches for automated reasoning in the contexts of verification, synthesis, and certification.
1111

12-
I will be joining the **University of Groningen** as an assistant professor in September 2025. I have an **open PhD position** on the topic of formal verification of distributed systems, the full details can be found [here].
12+
For full details, please see my CV.
13+
14+
I have an **open PhD position** on the topic of formal verification of distributed systems, the full details can be found [here].
1315

1416
[here]: https://rodrigo7491.github.io/files/phd_position_ad.pdf

0 commit comments

Comments
 (0)