Position at ISIS

Title

Graduate Research Assistant

Miscellaneous

Research interests

Model-based design of embedded systems, Model-integrated computing, System diagnosis and verification