Gopal Gupta — Computer Science & Eng. faculty at UT Dallas. Research: Research Interests Programming Languages: Implementation and Semantics, Logic.