Max New — Computer Science & Eng. faculty at Michigan. Research: Developing and using mathematical tools to ensure correctness, safety and security of.