Michael Dossis (Ph.D.) is currently a Professor teaching at the University of Western Macedonia through the Department of Computer Science. Dossis has 117 publications with 255 citations (ResearchGate, GoogleScholar, 21 December). His skills and expertise include digital systems, knowledge representation, logical reasoning, formal verification, verification, C, C++, semantic web technologies, theoretical computer science, ASIC/FPGA engineering, high-level synthesis, engineering management, and embedded electronics.