Research Interest

• 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!!

https://stackoverflow.com/questions/45497684/what-happens-if-throw-fails-to-allocate-memory-for-exception-object/46764045