From b7177c07e74dcbf4aee7ca48212ae2044b2cfb39 Mon Sep 17 00:00:00 2001
From: Dorra BEN KHALIFA <36305604+dbenkhal@users.noreply.github.com>
Date: Wed, 18 Dec 2024 10:49:56 +0100
Subject: [PATCH] Update research.html

---
 research.html | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/research.html b/research.html
index 26edbab..89671b9 100644
--- 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>