|
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.
|