Programming Language Theory and Formal Methods (Hardcover)

Programming Language Theory and Formal Methods By Zoran Gacovski (Editor) Cover Image
By Zoran Gacovski (Editor)
$216.00
Backordered at least 2 weeks or possibly unavailable.

About the Author


Dr. Zoran Gacovski's current position is a full professor at the Faculty of Technical Sciences, "Mother Tereza" University, Skopje, Macedonia. His teaching subjects include Software engineering and Intelligent systems, and his areas of research are: information systems, intelligent control, machine learning, graphical models (Petri, Neural and Bayesian networks), and human-computer interaction. Prof. Gacovski has earned his PhD degree at Faculty of Electrical engineering, UKIM, Skopje. In his career he was awarded by Fulbright postdoctoral fellowship (2002) for research stay at Rutgers University, USA. He has also earned best-paper award at the Baltic Olympiad for Automation control (2002), US NSF grant for conducting a specific research in the field of human-computer interaction at Rutgers University, USA (2003), and DAAD grant for research stay at University of Bremen, Germany (2008 and 2012). The projects he took an active participation in, are: "A multimodal human-computer interaction and modelling of the user behaviour" (for Rutgers University, 2002-2003) - sponsored by US Army and Ford; "Development and implementation of algorithms for guidance, navigation and control of mobile objects" (for Military Academy - Skopje, 1999-2002); "Analytical and non-analytical intelligent systems for deciding and control of uncertain complex processes" (for Macedonian Ministry of Science, 1995-1998). He is the author of 3 books (including international edition "Mobile Robots"), 20 journal papers, over 40 Conference papers, and he is also a reviewer/ editor for IEEE journals and Conferences.


Product Details
ISBN: 9781774694473
ISBN-10: 1774694476
Publisher: Arcler Press
Publication Date: December 1st, 2022
Language: English