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.