Location:
ALPS LAB,
Room # ES 4.621,
Eric Johnson School of Computer Science,
The University of Texas at Dallas.
Phone: 972-883-6170
Members of the Lab
Lawrence
King (faculty)
Doctoral
Candidates
Masters
Students
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,
et al
- SCR++: A Language Design
for Real-Time Multi-Agent Systems by Vijay Narayana Halaharvi and Gopal
Gupta
- Dynamic Navigation of
VoiceXML by Narayan Annamalai, Hemamber Muthyala, Jiang Wu and Gopal
Gupta
- Inferencing in the Semantic
Web by Kunal Patel and Gopal Gupta
- Teaching Assistant Scheduler
Application by Lawrence King, Ajay Mallya, Prabhakar Gubbala, and Gopal
Gupta
- Programming with Proof Nets
by Luke Simon
- Extensible Transcoder for
HTML to VoiceXML Conversion by Narayan Annamalai, B. Prabhakaran, and
Gopal Gupta
- Strategies for RoboCup Soccer
by Vinay Ahuja, Vijay Halaharvi, Venkat Mahakala, Ajay Mallya, and
Gopal Gupta
- Programming Language Semantics:
Theory, Practice and Applications by Qian Wang, Michael Nichols, and
Gopal Gupta
Some of the past projects
- Reliable
Construction of Embedded Real-time/Hybrid Systems
- Horn
Logical Semantics and its Applications to S/W Engg.
- The ACE
Project: Parallel implementation of Prolog on shared memory
multiprocessors.
- Scalable
Parallel Implementation of Constraint Logic Programs on a Distributed
Network of SMPs.
- Parallel
and Sequential Implementations of Tabled Logic Programming Systems.
- Complexity
Study of Dynamic Data-structures in Implementation of Advanced
Programming Languages.
- Knowledgesheet:
Spreadsheet Interface for Tabular Constraint Logic Programs over Finite
Domains.
- Advising
and Degree Audit System.
- Assistive
Technologies
- Semantics
based approaches to processing and querying XML documents.
- Automation
of Phylogenetic Inference in Biology
Some of these projects are funded by NSF, Department of Education, EPA
and other agencies.
Collaborations with
- 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