Certifications

1. Machine Learning, by Stanford University on Coursera

---

Publications

1. Efficient Integration of Online Model Checking into a Small-Footprint Real-time Operating System –2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing