My Research work has been focused on the formal verification of UML diagrams. I am not currently active in the research field by I love talking about it and share my knowledge with peers.

Here you can read the details about the work I did: Google Scholar Profile