|
Dr. Menouer Boubekeur web site |
|
Doubt is the key to all knowledge. Arabic proverb. |
|
Curriculum Vitae
|
|
|
|
Dr. Menouer Boubekeur |
|
Academic background PhD Thesis in Computer Science at the Université Joseph Fourier of Grenoble(since October 2000). At TIMA laboratory Title: Formal Verification of Asynchronous Systems: Application on Asynchronous circuits. for more details ... Master Thesis (DEA) in Computer Science at the Université Joseph Fourier of Grenoble (1999-2000). abstract ... Engineering Degree (Ingénieur d'état) in Computer Science in 1997 at the Computer Science Institute of Université d'Es-Senia, Oran, Algeria, 1992-1997. Experience Real-Time Systems and Languages: Evaluation studies for MOQA in the context of a real-time platform (JRTS). Development of a Real-time version of the MOQA language. Formal verification: Proposal methodologies and prototype realizations for the formal verification of asynchronous circuits, TIMA Laboratory. HDL: Studied & modelled the semantic of VHDL, CHP and SytemC description languages, TIMA Laboratory. Design of digital circuits: Design, simulation, test and synthesis of circuit (VHDL) , TIMA Laboratory. Industrial project: Participate at the WUCS project with St-microelectronics company, Crolles, France, TIMA Laboratory. Other experiences: Assistance tool for the formal verification of infinite systems. 99/00. Language: C++ Software of salary management. 1998/1999. Language: Delphi Prototype for the placement of parallel data bases. 1996/1997. Language: Delphi. Practical skills Formal verification techniques: Enumerative and symbolic Model-checking, Equivalence checking, Theorem proving. Formal verification tools & languages: FormalCheck, RuleBase, SPIN, CADP, LOTOS, nu-SMV, Lisp, ObjectGeode, ACL2, Omega. Real-Time Systems: ACET & WCET techniques, Real-Time analysis, Java for Real-Time Systems (JRTS). Real time and embedded languages: Java RTS, Esterel, Lustre, Programming languages: C, C++, Pascal, Delphi, Builder C++, VBasic, Java, lisp. Environments: Windows, Win NT, UNIX, Linux, MacOS, Microsoft Tools: MSWord, MSPowerpnt, Excel, Frontpage Publications Click here to see my publications Pedagogic activities Teaching activities : Analysis of advanced algorithms, National University of Ireland, Cork, Ireland. Analysis of algorithms, National University of Ireland, Cork, Ireland. Programming language, Delphi courses. 20h. ADEM private school. Oran, Algeria. Currently 1st adviser of a MSc student. National University of Ireland, Cork, Ireland. One Eureka student, National University of Ireland, Cork, Ireland. Two Master1 students. Final year project. Computer sciences Master1; University of Joseph Fourier. Grenoble. France. Realizations Presented at DATE03. Asynchronous circuits verification based on symbolic model checking tools. Presented at DATE04. Validation of asynchronous circuits specifications using CADP/IF environment. Industrial projects WUCS: Wireless Universal Control Systems (TIMA Laboratory and STMicroelectronics) Miscellaneous Member of the Industrial liaison committee, Computer Science Dept. NUI, Cork. Member of the programme committee of the MFCSIT06 Best papers awards, FDL 03, VLSI-SOC 03. Reviewing for FMCAD’04, MFCSIT06, SETIT’07 ... Research grant from the French state’s EGIDE organisation, Invited presentation to the annual VASY seminar, held in Saint-Pierre de Chartreuse, Grenoble, France, on June 10-13, 2003. Attend to several tutorials: SystemC, Advanced parallel programming, TAST tool, … … … Download my CV: Pdf format ..., |
|
|
To contact Dr. M. Boubekeur |
|
|
Email : menouer.boubekeur(at)cs.ucc.ie |
CEOL, Lancaster Hall, 6 Little Hanover street, Cork, Ireland. |
