Formal Methods: Reachability Analysis of Hybrid System
High Performance Computing
Wireless Sensor Networks
Network Security
Natural Language Processing
Links to some Important Thesis that helped me a lot:
Dr. Rajarshi Ray: https://tel.archives-ouvertes.fr/tel-00768033/document
Dr. Colas Le Guernic: https://tel.archives-ouvertes.fr/tel-00422569v1/document
Few more informative links
Benchmarks: https://ths.rwth-aachen.de/research/projects/hypro/benchmarks-of-continuous-and-hybrid-systems/
Applied Verification for Continuous and Hybrid Systems (https://cps-vo.org/group/ARCH)
ARCH-Repo (https://gitlab.com/goranf/ARCH-COMP)
Conference Links :
HSCC (Hybrid Systems: Computation and Control)
CAV (International Conference on Computer-Aided Verification)
Journal Links :
STTT (International Journal on Software Tools for Technology Transfer)
Out-of-the-box:
I also enjoyed watching this particular course from coursera in Machine Learning
https://www.coursera.org/specializations/machine-learning
https://www.coursera.org/learn/machine-learning
https://www.youtube.com/playlist?list=PLkDaE6sCZn6FNC6YRfRQc_FbeQrF8BwGIÂ
Use of Passive Voice in writing a Research Paper.
https://www.youtube.com/watch?v=pHZ1Xve3au0
Oops!!