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.
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.