Download Ph.D Students in the Lab

Doctoral Candidates
Ajay Bansal
Interests: Artificial Intelligence, Multi-agent Systems, Programming
Languages.
Email: [email protected]
Web: http://www.utdallas.edu/~ajay.bansal
He received his B. Tech. in Computer Science from Regional
Engineering College, Warangal, India in 1999 and his M.S. in
Computer Science from Texas Tech Univ. Lubbock in 2002. He
worked as a software developer in the industry for 2 years. He
joined the Ph.D. program at UTD in Fall 2003.
Ajay Mallya
Interests: Programming Languages, Formal Methods, Real time
systems
Email: [email protected]
Website: http://www.utdallas.edu/~axm011500
He received the degree of Bachelor of Engineering (honors) in
Computer Science from the University of Mysore, India in 1999.
For the next two years, he worked as a software engineer in
industry. He obtained the M.S. degree in Computer Science from
The University of Texas at Dallas in December 2002. He is
currently working toward the PhD degree. His research deals with
the verification of real time systems using formal methods.
Luke Simon
Interests: Lambda-calculi, Mobile-calculi, Type Theory, Logic,
Category Theory
Email: [email protected]
He received his Bachelor of Engineering degree in Computer
Science from the University of Texas at Dallas in 2001. Since then,
he is pursuing PhD in Computer Science at UTD. He has extensive
industry experience, and has worked at several companies as a
software engineer including: DSC Communications (1996-1998),
Mylex (Summer 1998), Alcatel (1998-1999), Multigen (1999-2000),
and CVA Inc (2000-2001). Luke is also a Sun Certified Java
Programmer, Sun Certified Java Developer, and a Sun Certified
Enterprise Architect.
Doctoral Candidates
Qian Wang
Interests: Programming languages, Natural Language Generation
and Software Architecture
Email: [email protected]
Web: http://www.utdallas.edu/~qxw015000/
Qian Wang got his Bachelors degree in Computer Science from
SuZhou University, P.R.China in 1992 and his Masters degree in
computer science from Shanghai Jiaotong University in 1997.
After graduation, from 1997 to 2001, he taught at Shanghai Jiaotong
University.
Jiang Wu
Interests: Dynamic Voice XML
Email: [email protected]
He received his Bachelor of Engineering degree in Computer
Science from Xiamen University, China in 1992, and his Master of
Arts degree in Computer Science from University of Texas at Austin
in 2001. Since fall 2002, he is pursuing his Ph.D degree in
Computer Science at University of Texas at Dallas.