|
Research Interests
Algebraic Specifications, Mobile
Communication Protocols, Formal Specification and Verification of Systems
My Diploma thesis was on developing a tool that predicts the level of
the signal power of a Mobile Communication System using Electromagnetic
Methods under the supervision of Prof. Panayiotis Frangos,
at the Laboratory of Radar Systems
of the School of Electrical and Computer
Engineering, NTUA. The object of my
Ph.D and current research is the Formal Specification and Verification of
Mobile Communication Systems- Protocols using Algebraic Specification
Languages, under the supervision of Dr. Petros Stefaneas and Prof.
Panayiotis Frangos. Algebraic Specification Languages are Formal Methods
based on mathematical logics and provide a rigorous base for specification
and verification of complex software and concurrent systems. The language I
use is CafeOBJ, a
language developed in Japan
by the team of LDL,
JAIST, under the leadership of Kokichi Futatsugi.
|