Our tool PSCV will be presented at the 28th International Conference on Computer Aided Verification (CAV 2016) at Toronto, Ontario, Canada. For more details visit the tool’s website.
Hyperlexia
Research interests are in embedded safety-critical systems and embedded Linux, development and deploying ML models on embedded systems, programming languages, compilers, and language-based security using infrastructures LLVM, MLIR.