The INTO-CPS Association
IHSAN ULLAH KHAN
tekguru22
M.Sc Electronics 2003 UOP KPK
Electronics , Embedded Systems,Biomedical Engineering,C/C++
,Python, Data Science Web Dev
Multi Tech Business Solutions Pvt Ltd Rawalpindi
Evgeny Denisov
jenisov
cpu - compiler - thread - process - kernel - os - driver - network - transport - protocol - model - edge - cloud - serverless
RTSoft GmbH Moscow
John Fitzgerald
JohnFitzgerald
Newcastle University Newcastle upon Tyne, United Kingdom NE1 7RU
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Mehrdad Moradi
mehrdad-moradi
PhD in AI, dependability analysis, robustness checking, validation, and verification techniques for CPSs using model-based fault injection and ML.
University of Antwerp Antwerp, Belgium
