I’ve received a Schloss Dagstuhl - NSF Support Grant for attending the Dagstuhl Seminar 17291 “Resource Bound Analysis” on July 16 to 21. The grantees will be covered a airfare from US to Germany plus free room and board at the center for the duration of the seminar.
Hyperlexia
Embedded real-time safety-critical SW, embedded Linux, OS kernel and hypervisor development, deploying ML models on embedded systems, programming languages and compilers development with LLVM, MLIR.