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:
DBLP Profile
ResearchGate Profile
Google Scholar Profile