Dr. Atanas Kostadinov received his PhD degree from the Technical University -
Sofia in the Embedded Systems Design, 2006. He is an Assistant Professor at
the John Atanasoff Technical College, Plovdiv, Bulgaria.
In 2007, he was an ERCIM postdoctoral fellow at the Norwegian University of Science and
Technology (NTNU), Trondheim, Norway. His publications are in digital and
VLSI design and predicate logic applications.