|
|
|
After being a post-doc in CEOL centre working in real-time systems analysis, he joined CCSL as a researcher on 01/08. Dr Boubekeur's main research interests are real time and embedded systems, modeling and formal verification methods, smart buildings and integrated software environment.
To contact Dr. M.
Boubekeur |
|
Send mail to
ccsl@cs.ucc.ie with
questions or comments about this web site.
|