About Me
My research and teaching are driven by a simple but hard question: how do we build systems that are not just functional, but predictably correct — in time, in behavior, and under real physical constraints. I am an Associate Professor at ENSI, University of Manouba, Tunisia, and a twice-visiting scholar at UC Berkeley's EECS Department, where I collaborated with Edward A. Lee on the Lingua Franca and Accessors projects. My work spans real-time embedded platforms, hardware architecture, cyber-physical systems, and IoT, with a touch of formal verification where it matters most. Beyond research, I co-lead several projects between Tunisian and German institutions — mostly TU Dresden and HS Offenburg — funded by DAAD, bridging two research cultures through joint programs, student exchanges, and shared curricula. I serve on the program committees of RTAS, RTSS, and DATE, and publish in ACM TECS, IEEE ESL, and Proceedings of the IEEE. I am currently exploring the intersection of physical AI and autonomous embedded systems — where machine intelligence meets real-time constraints and physical actuation. I enjoy collaborating across the theory-to-implementation spectrum and I still write embedded code.
Areas of Interest
- Embedded Systems
- Cyber-Physical Systems
- Real-Time Systems
- Computer Architecture
- Formal Methods & Model Checking
- Internet of Things (IoT)
Open Source Contributions
- Lingua Franca — A polyglot coordination language for deterministic concurrent and distributed systems.
- Accessors / CapeCode — A component framework for IoT applications (swarmlets), built on Ptolemy II.
Education
- Ph.D. in Electrical Engineering — ENIT, University of Tunis El Manar, TN (2008)
Contribution to the description and formal verification of software architectures based on rewriting logic: Application to real-time systems
Distinction: Very honorable
Advisors: Kamel Barkaoui (CNAM, Paris, FR), Noureddine Ellouze (ENIT, Univeristy of Tunis El Manar, TN) and Amel Grissa-Touzi (ENIT, Univeristy of Tunis El Manar, TN) - MSc. in Automatic and Signal Processing — ENIT, University of Tunis El Manar, TN (2003)
Deductive databases analysis tool based on extended predicate Petri nets
Advisors: Amel Grissa-Touzi (ENIT, Univeristy of Tunis El Manar, TN) - Dipl.Ing. in Electrical Engineering — ENIT, University of Tunis El Manar, TN (2002)
Recent News
Publications • Talks • Tutorials • Posters • Presentations
Publications
Invited Talks
Tutorials
Posters
Presentations
Positions • Research Stays
Positions
Received 3D Rationality Fellowship (May–Aug 2023)
Faculty: Edward A. Lee
Joined the Lingua Franca project
iCyPhy Research Center, Faculty: Edward A. Lee
Joined the Accessors project
Design and Development of the Voice Push platform
Design and Development of a holographic agent
Established short and long-term strategies
Updated 5th level curriculum
Promoted specialization among students and companies
Established international partnerships, invited foreign professors, organized workshops
Research Stays Abroad
- Nov 2021, Aug 2021 • Project: CyPhySym
- Aug 2020 • Project: EngCPS&IoT
- Mai 2019, Jul 2019 • Project: Embedded Parallel Programming
Funded by: German Academic Exchange Service (DAAD)
- Sep 2021 • Project: IoTIC
- Jul 2019 • Project: ContIoT
- Mai 2018 • Project: RealIoT
Funded by: German Academic Exchange Service (DAAD)
- Jun–Jul 2013
Funded by: Association MedLink
- Oct 2004, May–Jun 2005, Apr–Jun 2006
Funded by: Ministry of Higher Education, TN
- Jul–Aug 2001
Funded by: IAESTE
Current Courses • Guest Lecturer • Previously Taught
Current Courses
Graduate (MEng, final level)
Based on EECS 149/249A at UC Berkeley and its embedded labs
Graduate (MSc, final level)
Based on EECS 149/249A at UC Berkeley and uses the robot simulator IR-Sim for hands-on sessions.
Graduate (MEng, final level)
Textbook: Liu, J. W. S. (2000). Real-Time Systems. Pearson Education/Prentice Hall.
Graduate (MSc, 1st level)
Forked from EECS 149/249A at UC Berkeley
Guest Lecturer
Undergraduate (BEng, 3rd level) • Spring 2026
Graduate (MEng) • Fall 2017 and Fall 2019
Undergraduate (BEng, 3rd level) • Fall 2019
Graduate (MSc, 2nd level) • Fall 2017 and Fall 2018
Previously Taught
- Avanced Architectures and Parallel Programming [EN, FR]
Graduate (MEng, final level) • Fall 2024, Fall 2023, Spring 2022, Fall 2021
Based on CS 267 at UC Berkeley - Programming Connected Objects [EN]
Graduate (MEng, final level) • Fall 2023, Fall 2021 - Introduction to Embedded Systems [FR]
Graduate (MEng, 1st level) • 2012 - 2019
Elaborated in collaboration with ST Microelectronics, TN
Served as class coordinator among inolved instructors - Microprocessor Design [FR]
Graduate (MEng, 1st level) • 2009 - 2019
Based on CS 152 at UC Berkeley
Served as class coordinator among inolved instructors - Computer Architecture [FR]
Undergraduate (BEng, 3rd level) • Spring 2010, Spring 2011, Spring 2012
- Computer Architecture [FR]
Undergraduate (BEng, 2nd level) • Sep 2007 – Aug 2009 - Digital Circuits [FR]
Undergraduate (BEng, 2nd level) • Sep 2007 – Aug 2009
- Computer Architecture [FR]
Undergraduate (BEng, 3rd level) • Sep 2003 – Aug 2007 - Algorithms and C/C++ Programming [FR]
Undergraduate (BEng, 3rd level) • Sep 2003 – Aug 2007
Initiatives
Technopole de la Manouba, Manouba, TN
Featuring Dr. Scott Eberhardt
Funded by: DAAD (Transformation Program Line 2)
Partners: TU Dresden, DE & ENSI, University of Manouba, TN
- Thematic Session on The Cyber and the Physical Symbiosis
Funded by: DAAD (Transformation Program Line 2)
Partners: HS-Offenburg, DE & ENSI, University of Manouba, TN
- Participation in the Bosch Sensortec IoT Innovation Challenge
Funded by: DAAD (Transformation Program Line 2)
Partners: TU Dresden, DE & ENSI, University of Manouba, TN
- Online Seminar Series on Design and Programming Cyber-Physical Systems and IoT applications
Funded by: DAAD (Transformation Program Line 2)
Partners: HS-Offenburg, DE & ENSI, University of Manouba, TN
- Organization of the 3rd edition of IoT Hackathon
Funded by: DAAD (Transformation Program Line 2)
Partners: University of Hamburg, DE & ENSI, University of Manouba, TN
Funded by: DAAD (Transformation Program Line 2)
Partners: TU Dresden, DE & ENSI, University of Manouba, TN
- Round table discussion on 'Research landscape and opportunities for technology transfer' at ENSI, Dec. 3rd, 2019
Funded by: DAAD (Transformation Program Line 2)
Partners: HS-Offenburg, DE & ENSI, University of Manouba, TN
- Organization of the 2nd edition of IoT Hackathon
Funded by: DAAD (Transformation Program Line 2)
Partners: HS-Offenburg, DE & ENSI, University of Manouba, TN
- Organization of the 1st edition of IoT Hackathon
Funded by: DAAD (Transformation Program Line 2)
Partners: HS-Offenburg, DE & TU Dresden (ZIH and cfaed), DE & ENSI, University of Manouba, TN
- Organization of the IoT - School & Workshop 2016
Venue: Cité des Sciences, Tunis, TN
Funded by: DAAD (Transformation Program Line 2)
Partners: Cfaed, TU Dresden, DE & ENIT, University of Tunis El Manar, TN
Advising
Ongoing
ENSI, University of Manouba
ENSI, University of Manouba
ENSI, University of Manouba
Past Students
Adaptivity in deploying applications onto heterogeneous embedded platforms
TU Dresden, DE
Co-advised with Jeronimo Castrillon (TU Dresden, DE)
Contextual Data Fusion in Collaborative Body Sensor Networks: Application to e-Emergency
ENSI, University of Manouba
Towards Low-Cost, Low-Power Hardware Accelerators for Machine Learning-Based Cybersecurity
ENSI, University of Manouba
Co-advised with Narjes Bellamine (ENSI, University of Manouba, TN) and Axel Sikora (HS Offenburg, DE)
Towards Rapid Prototyping and Simulation of mAPN Models
ENSI, University of Manouba
Co-advised with Jeronimo Castrillon (TU Dresden, DE) and Hasna Bouraoui (TU Dresden, DE)
MAPN: Assessment Against State-of-the-Art Dynamic Dataflow MoC
ENSI, University of Manouba
Co-advised with Jeronimo Castrillon (TU Dresden, DE) and Hasna Bouraoui (TU Dresden, DE)
Exploring Mesh-of-Tree Architecture and Developing a Dedicated Router
ENSI, University of Manouba
Study of the Impact of Scheduling Frequency on the Time Predictability of FlexPRET
ENSI, University of Manouba
Co-advised with Jeronimo Castrillon (TU Dresden, DE)
Narrowband IoT Extension for the NS-3 Simulator
ENSI, University of Manouba
Co-advised with Axel Sikora (HS Offenburg, DE)
Architecture for Embedded Image and Stereo Vision Processing, Based on Chisel
ENSI, University of Manouba
Architecture for Embedded Deep Learning Processing, Based on Chisel
ENSI, University of Manouba
Design Methodologies for Reconfigurable Real-Time Vision Architectures: Focus on Stereovision Systems
EPT, University of Carthage
Co-advised with Rabah Attia (EPT, University of Carthage, TN)
Contribution à la Formalisation et à la Vérification des Diagrammes Dynamiques UML 2 à base des Réseaux de Petri
ENIT, University of Tunis El Manar, TN & CNAM Paris, FR
Co-advised with Kamel Barkaoui (CNAM Paris, FR) and Noureddine Ellouze (ENIT, University of Tunis El Manar, TN)
NITTTR, Chennai, India
Indian Technical and Economic Cooperation Program on 'Training Educators on AI Awareness and Technology Integration', 16–29 July 2025.
EECS Department, UC Berkeley
Supporting the ongoing collaboration between 3D Rationality and UC Berkeley. Faculty: Edward A. Lee.
UC Berkeley, iCyPhy Research Center
Faculty: Edward A. Lee. Joined the Accessors project.
ITES – TunisianInstitute of Strategic Studies
DAAD (German Academic Exchange Service) Tunis
August 2017 portrait.
Organizing • Academic Services • D/T Committee • Panel Chairing • Miscellaneous
Organizing
J. Castrillón-Mazo (TU Dresden, DE), C. Jerad (University of Manouba, TN), E. A. Lee (UC Berkeley, US), C. Pagetti (ONERA – Toulouse, FR)
Schloss Dagstuhl, Wadern, DE Link
Taipei, TW(TCRS 2025), co-localted with ESWEEK 2025
Academic Services
- TPC member of the 1st Workshop on Reactive Cyber-Physical Systems (ReCPS 2026), Co-localted with DATE 2026, Verona, Italy
- TPC member of the 32nd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2026), Saint-Malo, France
- TPC member of the 29th Design, Automation and Test in Europe Conference (DATE 2026), Verona, Italy
- TPC member of the 3rd Workshop on Time-Centric Reactive Software (TCRS 2025), Taipei, TW
- TPC member of the 28th Design, Automation and Test in Europe Conference (DATE 2025), Lyon, France
- TPC member of the 2nd Workshop on Time-Centric Reactive Software (TCRS 2024), Raleigh, NC, USA
- TPC member of the 1st Workshop on Time-Centric Reactive Software (TCRS 2023), San Antonio, TX, USA
- TPC member of the 44th IEEE Real-Time Systems Symposium (RTSS 2023), Taipei, TW
- TPC member of the 43rd IEEE Real-Time Systems Symposium (RTSS 2022), Houston, TX, USA
- TPC member of the 42nd IEEE Real-Time Systems Symposium (RTSS 2021), Virtual Conference
- Reviewer, IEEE Access, 2023, 2024, 2025
Dissertation/Thesis Committee
Dissertation: 'Deterministic Networks for Low-Latency Cyber-Physical Systems'
NTNU, Trondheim, NO
Thesis: 'Situational Awareness ML-Assisted Unmanned Aerial System Traffic Management'
ENSI, University of Manouba, TN
Panel Chairing
2nd Workshop on Time-Centric Reactive Software (TCRS 2024) at ESWEEK 2024
Miscellaneous
Analysis, Design, and Control of Predictable Interconnected Systems, DE.
German Academic Exchange Service (DAAD)
- Introduction to Augmented Reality and ARCore (May 2021), Google AR & VR (Coursera). Completed course (w/o certificate), Grade 100%
- Introduction to TensorFlow for Artificial Intelligence, Machine Learning, and Deep Learning (May 2020), deeplearning.ai (Coursera). Certificate, Grade 99.28%
- LoRa Ecosystem - Networking and Workshop (Jan 2019), SUP'COM, TN. 1-day training
- Interviews: a method to collect data during the research process (Oct 2019), Christian Achrainer (DAAD funded). 1-day training
- Effective Cooperation in Teams (Apr 2019), Sonja Drewes (DAAD funded). 1-day training
- Lean Startup and customer development (Sep 2018), Bob Dorf (Open Startup Tunisia). 2-day training for mentors
- Self-management (Oct 2018), Heba Salama (DAAD funded). 1-day training
- Pre-Empting & Managing Conflicts (Nov 2017), Heba Selim (DAAD funded). 1-day training
- Student Club Advisor (2010 – present) — ENSI, University of Manouba: Assisting students in their extra-curricular activities (technically, logistically and strategically): Club Robotique ENSI, Association Robotique ENSI, Competitive Programming Club, and Open Source Software ENSI Club. Providing informal supervision and mentoring to students.
- Student Mentor (Mar 2020): Mentoring students at the Hackathon within the International Winter School "IoT meets AI", organized by SUP'COM's IEEE Student Branch
- Student Mentor (Oct–Nov 2018): Mentoring students: Open Startup Tunisia competition
- Volunteer (2017) — Cragmont Elementary School, Berkeley, CA
- Youth Leader and Coordinator (1997 – 2005) — Astronomy club of the Tunisian Association of Youths and Science (AJST): Animations, Astronomy trainings organization, Astronomy events organization
- Founder and Treasurer (1999 – 2001) — "Andromeda Astronomy Club" at ENIT, University of Tunis El Manar, TN
- Founder and General-secretary (1997 – 1999) — "Astronomy Club" at IPEIT, TN