Create tinelli.md

tinelli · web-flow · commit 75f1c2610110 · 2024-09-03T18:41:52.000-05:00
diff --git a/_members/tinelli.md b/_members/tinelli.md
@@ -0,0 +1,12 @@
+---
+name: Cesare Tinelli
+role: Professor
+subrole: Professor
+interests: Automated Reasoning, Formal Methods
+email: cesare-tinelli@uiowa.edu
+website: https://homepage.cs.uiowa.edu/~tinelli/
+photo: tinelli.jpg
+layout: member
+subpath: '/assets/img/'
+---
+<!-- Write anything else here and it will be printed. -->
