Darko Kirovski

MathSciNet


Ph.D. University of California, Los Angeles 2001 UnitedStates
Dissertation: Constraint Manipulation Techniques for Synthesis and Verification of Embedded Systems

Advisor: Miodrag M. Potkonjak

Student:

NameSchoolYearDescendants
Drinic, MilenkoUniversity of California, Los Angeles2003

According to our current on-line database, Darko Kirovski has 1 student and 1 descendant.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 70520 for the advisor ID.