A short introduction to my PhD studies on Semantic Web Technologies in Multi-Agent Systems.
And my PhD study published by IEEE Computer Society.
You can get idea about the current status of my field and latest research trends via the Semantic Technologies Lab, and the Agentic AI initiatives.
On my former research topics about Formal Methods, Conformance Testing, and Protocol Engineering.
My previous research was published by both IEEE Communications Society and Elsevier Science.
If you want get information on the current status of Formal Methods have a look at TLA+ Foundation.
I was also interested in data mining and its applications in processing call center records.
A beautiful view of the place where I am currently working at:
Academicians influential throughout my academic and professional life (my academic advisors):