content update

Author: rodrigo7491

_config.yml

@@ -27,7 +27,7 @@ author:
   pronouns         : # example: "she/her"  
   bio              : "Assistant Professor"
   employer         : "University of Groningen"
-  location         : "Netherlands"
+  location         : # "Netherlands"
   uri              : "https://www.rug.nl/staff/r.b.otoni"
   email            : # ""
 

_pages/about.md

@@ -7,7 +7,9 @@ redirect_from:
   - /about.html
 ---
 
-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.
+I am an Assistant Professor at the University of Groningen, Netherlands, investigating the use of logic as a means to ensure robustness of the systems underlying our digital infrastructure. My research focuses on automated reasoning, through the lenses of verification, synthesis, and certification. In particular, I am interested in bridging the gap between theory and practice via techniques that enable push-button automation, such as model checking. My work primarily targets systems which have distribution as a key feature, including blockchains and quantum networks.
+
+On a more technical note, I have experience in topics such as symbolic model checking, SMT and CHC solving, TLA+ specifications, process algebras, smart contracts, and entanglement-based networks.
 
 For full details, please see my CV.