Room # ES 4.621,
Eric Johnson School of Computer Science,
The University of Texas at Dallas.
Members of the Lab
Some information about the research interests of
Some of the current projects
- UMA: Universal Mathematics
Accessibility by G. Gupta, N. Annamalai, H. Reddy, A. Karshmer, K.
Miesenberger, E. Pontelli, H-F Guo
- Next Generation Logic
Programming Systems by Gopal Gupta
- Static Program Analysis
and its Application to TI's DSP Software by Ramakrishnan Venkitaraman
and Gopal Gupta
- Intelligent System for
Advising by Saradha Anapalli, Sam Karrah, and Gopal Gupta
- Eplan System by Balaji Raghavachari, Gopal Gupta,
- SCR++: A Language Design
for Real-Time Multi-Agent Systems by Vijay Narayana Halaharvi and Gopal
- Dynamic Navigation of
VoiceXML by Narayan Annamalai, Hemamber Muthyala, Jiang Wu and Gopal
- Inferencing in the Semantic
Web by Kunal Patel and Gopal Gupta
- Teaching Assistant Scheduler
Application by Lawrence King, Ajay Mallya, Prabhakar Gubbala, and Gopal
- Programming with Proof Nets
by Luke Simon
- Extensible Transcoder for
HTML to VoiceXML Conversion by Narayan Annamalai, B. Prabhakaran, and
- Strategies for RoboCup Soccer
by Vinay Ahuja, Vijay Halaharvi, Venkat Mahakala, Ajay Mallya, and
- Programming Language Semantics:
Theory, Practice and Applications by Qian Wang, Michael Nichols, and
Some of the past projects
Construction of Embedded Real-time/Hybrid Systems
Logical Semantics and its Applications to S/W Engg.
- The ACE
Project: Parallel implementation of Prolog on shared memory
Parallel Implementation of Constraint Logic Programs on a Distributed
Network of SMPs.
and Sequential Implementations of Tabled Logic Programming Systems.
Study of Dynamic Data-structures in Implementation of Advanced
Spreadsheet Interface for Tabular Constraint Logic Programs over Finite
and Degree Audit System.
based approaches to processing and querying XML documents.
of Phylogenetic Inference in Biology
Some of these projects are funded by NSF, Department of Education, EPA
and other agencies.
- New Mexico State University
- SUNY Stony Brook
- University of Southampton, UK
- University of Copenhagen, Denmark
- Federal University of Rio de Janeiro, Brazil
- Politecnica de Madrid, Spain
- University of South Florida, Tampa
- University of Linz, Austria
- University of Oporto, Portugal