updated research interests

index.html

@@ -81,10 +81,16 @@ <h4>Via dei Taurini, 19, 00185 Roma, Italy</h4>
 </div>
 
 <div class="pb-1">
-My research interests concern
+<!--My research interests concern
 formal methods for software specification, analysis and verification;
 software testing;
-program synthesis and transformation.
+program synthesis and transformation.-->
+My research interests focus on logic-based methods and tools for software analysis and verification; 
+explainable AI based on computational argumentation; 
+symbolic and neuro-symbolic machine learning; 
+property-based software testing; 
+program synthesis and transformation; 
+analysis and verification of business processes.
 </div>
 
 <div class="pb-1">