Update research.html

dbenkhal · Dec 18, 2024 · b7177c0 · b7177c0
1 parent c805c5e
commit b7177c0
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/research.html b/research.html
@@ -34,11 +34,13 @@ <h1><a>Dorra BEN KHALIFA</a></h1>
 <div id="content">
 
 
-<h2>Domains of Study:</h2>
+<h2>Research Interests:</h2>
 <ul>
-<li> Numerical Programs optimization by formal methods  </li>
-<li> Computer arithmetic</li>
+<li> Numerical Programs verification by formal methods </li>
+<li> FPGA code synthesis</li>
+<li> Floating-point and fixed-point arithmetics</li>
 <li> Embedded AI </li>
+<li> Semantics-based precision tuning </li>
 <li> Neural networks optimization techniques </li>
 
 </ul>