Design of Cyber-Physical Systems Using Macro-CAD: whole-lifecycle model-based systems engineering, architecture, simulation & analysis by integrating formal methods in a verifiable virtual machine
Follow
incredible how the professor whose research goal is "to synthesize tools and algorithms to aid the development of reliable embedded and cyber-physical systems and devices, using techniques from formal methods" says my research is quite different from his interests and expertise.
