Profile
Dr. Ridha Ahmed DJEMAL is an Associate Professor in the Department of Electrical Engineering at the King Saud University of Saudi Arabia, since September 2007, his research has been in the area of System Design, Image and video processing and encryption and Formal verification for System on Chip (SoC). The main theme of Dr. Djemal’s research work in the area of Design and Implementation of video application having a standard interfaces and Integrating the formal Verification in the Design flow. This work represents a very successful collaborative effort with the TELNET Firm in Tunisia and TansEda in France. Currently, he is a member of the Electronic and Microelectronic Laboratory in Monastir – Tunisia and a member of team working on the Hardware Design Implementation of Image Encryption and Radar Recognition (CFAR) Algorithms in the Electrical Engineering Department of the King Saud University.
Education
· HDR degree (Habilitation à Diriger les Recherches) in Physics and Electronics from the Sciences Faculty of Monastir, Electronics and Microelectronics Laboratory of Monastir, Tunisia. May 2005.
Subject: A contribution to the System on Chip Design (SoC).
· Ph.D. degree in Microelectronics (Integrated Circuit Design) from Grenoble Institute of Technology (Grenoble IT or INPG), Logiciels Systèmes et Réseaux Laboratory (LSR), France. Juin 1996.
Subject: Communication Processor Architecture based on Structured Associative Memory.
· Master degree in Microelectronics (Integrated Circuit Design) from the Joseph Fourier University of Grenoble, Logiciels Systèmes et Réseaux Laboratory (LSR), France. Juin 1992.
Subject: Implementation of a router based on Wormhole routing technique between processors inside a cellular network.
· B. Sc. degree in Applied Physics and Electronics from the Joseph Fourier University of Grenoble, France. Juin 1991.
B. Sc. Project: Interface image simulation GaAs/GaAlAs obtained with an electronic microscope in transmission high resolution. Achieved in the National Telecommunication Studies Center (CNET) of Lannion – France.
· Math Technique Baccalaureate from the Technique School of Sfax – Tunisia. Juin 1987
Professional Experience
· King Saud University – College of Engineering (Since September 2007 : Full time)
Associate Professor, Electrical Engineering Department.
o Teaching EE208 logic Design, EE301:Signals and Systems, EE354:lab of Microprocessors.
o Supervisor of Undergraduate degree; three projects.
§ Image Encryption
§ Design of Microcontroller based Irrigation System Controller A and B
· Applied Sciences and Technology Institute of Sousse (ISSAT Sousse) -Tunisia, (since October 2005: Full time).
Associate Professor, Electronic Engineering Department.
o Teaching and evaluation of students for courses on embedded software, Design of Electronics Board, Microprocessor and Microcontroller architecture, PC and interfaces, Digital Signal Processing (DSP) architecture, and Digital Electronics. (See Contents Courses in Annex).
o Supervisor of graduation and Master degree projects.
§ Development of a TLM verification environment for the PCI-Express bus.
§ Design and implementation of crypto-processor image architecture.
o Supervisor of Ph-D Thesis projects on Microelectronics.
§ Design and implementation of a video watermarking technique based on multiresolution method.
§ Integration of the formal verification approach in the System on Chip design flow.
§ Design and implementation of a network architecture applied for the System on Chip.
§ Design and implementation of a high performance IP switch architecture.
· Teaching and evaluation of students for Teleprocessing at the Eectronic and Telecommunication Istitute of Sfax-Tunisia (Since 2006) at the Telecommunication Department (See Contents Courses in Annex).
· Sciences Faculty of Monastir-Tunisia (1998-2005: Full time)
Assistant Professor, Physics Department.
o Teaching and evaluation of students for courses on Electricity and Magnetism, Computer technology, Waves and propagation, Automatic, Microprocessor, Assembly Programming.
o Teaching Local Area Network and Telecommunication Network at the Information and Communication Department for B. Sc. degree in Information and Communication (See Contents Courses in Annex).
o Conducted Laboratory experiments (leader of the System Design Group: SDG) at the Electronic and Microelectronic Laboratory of Monastir.
o Supervisor of graduation and Master degree projects.
§ Design of AHB/NoC/AHB wrapper for the System on Chip.
§ High performance MPEG2/ATM interface architecture.
§ Other graduation projects.
· Cergy Pontoise University ETIS Laboratory Paris – France (may-juin 2002).
Assistant Professor (invited), Electronic Engineering Department.
o Teaching and evaluation of students for courses on Design and Implementation of real time hardware architecture, Image processing and Network architecture (See Contents Courses in Annex).
o Presentation of seminars related to the above courses.
· Preparatory Institute for Engineering Studies of Gabès (IPEIG) Tunisia. (1996-1998: Full time).
Assistant Professor, Physics Department.
o Teaching and evaluation of undergraduate students for the courses on Electricity and Magnetism, Waves and Propagation and Electronics.
o Development of practical works for the Electronic Laboratory.
· High National School of Computer Science and Applied Mathematics of Grenoble (ENSIMAG) France (1996: Part time).
Research Associate, Computer Engineering Department.
o Teaching and evaluation of students for the courses on Digital Electronics, Design of prototyping board, Microprogramming, Design and Configuration of Network Architecture.
o Supervisor of mini-projects on board microprogramming.
· Technical Manager and Responsible for the cooperation with the TELNET Company in Tunis- Tunisia (since 2003). This firm is devoted for the application of formal verification to the hardware design and developing a software environment to integrate Formal Verification Libraries in the Design Flow.
Research Interests
· Communication System Design.
· Simulation and modelling using many tools (C++, SystemC, ModelSim, Synopys, Quartix, etc).
· Hardware design and interfacing.
· Prototyping using prototyping system (Stratix II) and DSP based prototyping board (DM11, Sharc)
· Formal Verification applied for Hardware design (Model Checking approach, Simulation based approach).