Farokh Bastani — Computer Science & Eng. faculty at UT Dallas. Research: Research Interests AI-Based Automated Software Synthesis and Testing Embedded.