Gopal Gupta (computer scientist)

Gupta received a B.Tech. degree in computer science from the Indian Institute of Technology, Kanpur, India in 1985. He received an M.S. degree in computer science from The University of North Carolina, Chapel Hill in 1987. He also has a Ph.D. degree in computer science from The University of North Carolina, Chapel Hill, in 1991.{{Cite web|url=http://cs.utdallas.edu/people/faculty/gupta-gopal/|title=Gupta, Gopal - Department of Computer Science - The University of Texas at Dallas – Erik Jonsson School of Engineering and Computer Science|website=cs.utdallas.edu|language=en-US|access-date=2018-02-21}}

Gupta has worked in the field of logic programming since 1987. From 1989 to 1991, he worked as a Research Associate at the University of Bristol in the research group of David H.D. Warren. Subsequently, he was a faculty member in the Computer Science Department at New Mexico State University. Since 2000 he has been a faculty member at the University of Texas at Dallas, where he served as the Computer Science Department Head from 2009 to 2020. He is also the co-founder and co-director of the UT Dallas Center for Applied AI and Machine Learning. He co-founded Interoperate.biz, Inc{{Cite web|url=http://www.utdallas.edu/news/2012/7/5-18691_Profs-Startup-Untangles-Problems-With-Old-Software_article-wide.html?WT.mc_id=NewsRSS|title=Prof's Firm Untangles Problems With Old Software - UT Dallas News|website=www.utdallas.edu|access-date=2018-02-22}}{{Cite web|url=https://www.bloomberg.com/research/stocks/private/person.asp?personId=127128305&privcapId=116953724&previousCapId=116953724&previousTitle=Interoperate.Biz,%20Inc.|title=- Gupta: Executive Profile & Biography - Bloomberg|website=www.bloomberg.com|access-date=2018-02-21}} to automate porting of legacy codes into modern languages using logic programming.

Gopal Gupta has founded two companies based on his logic programming research. His group invented the Stack Splitting Method for parallelizing search in a scalable manner on distributed machines{{cite journal |last1=Gupta |first1=Gopal |last2=Pontelli |first2=Enrico |title=Stack-splitting: Or-parallelism on Distributed Memory Machines |journal=ICLP |date=1999 |page=290-304}} as well as a method for implementing tabled logic programming systems by dynamically reordering alternatives.{{cite journal |last1=Guo |first1=Hai-Feng |last2=Gopal |first2=Gupta |title=A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives. |journal=ICLP |date=2001 |page=181-196}} He proposed Horn Logic Denotations as a means for specifying the semantics of programming languages as well as for rapidly implementing them.{{cite journal |last1=Gupta |first1=Gopal |title=Horn Logic Denotations and Their Applications |journal=Springer Lecture Notes in Artificial Intelligence. |date=1999 |volume=The Logic Programming Paradigm. |page=127-159}} The technique is particularly suited for rapidly specifying and implementing domain specific languages.{{cite journal |last1=Gopal |first1=Gupta |last2=Pontelli |first2=Enrico |title=Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach. |journal=Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert |date=2002 |issue=Part I |pages=211–239}} The technology has been put to commercial use.{{cite web |last1=Cirrus260 |title=RDSL |url=https://www.linkedin.com/posts/cirrus360_iclp24-rdsl-prolog-activity-7253915465402482688-CVFu?utm_source=share&utm_medium=member_desktop&rcm=ACoAAAGTvicBzWdrNn-v5Ti-vDiWSBgskrnHJUM}} His group discovered coinductive logic programming (coLP), which subsequently led to s(CASP), a logic programming-based automated reasoning system. His group’s work on coLP received the 10-year test-of-time award at the 2016 ICLP conference. The s(CASP) system is a powerful LP system that can emulate human thinking. Many innovative applications have been developed by various groups using the s(CASP) system, e.g., automating medical treatment advising,{{cite journal |last1=Chen |first1=Zhuo |last2=Salazar |first2=Elmer |last3=Marple |first3=Kyle |last4=Sandeep |first4=R. Das |last5=Alpesh |first5=Amin |last6=Cheeran |first6=Daniel |last7=Lakshman |first7=Tamil |last8=Gupta |first8=Gopal |title=An AI-based Heart Failure Treatment Adviser System. |journal=IEEE Journal of Translational Engineering in Health and Medicine. |date=2018 |volume=Published Online |access-date=}} automated legal reasoning,{{Cite book |last=Morris |first=Jason |chapter=Constraint answer set programming as a tool to improve legislative drafting: A rules as code experiment |date=2021-06-21 |title=Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law |chapter-url=https://doi.org/10.1145/3462757.3466084 |location=New York, NY, USA |publisher=ACM |pages=262–263 |doi=10.1145/3462757.3466084|isbn=978-1-4503-8526-8 |url=https://ink.library.smu.edu.sg/ccla/7 }} validation of system requirements,{{cite journal |last1=Vascek |first1=Ondrej |last2=Arias |first2=Joaquin |last3=Fiedor |first3=Jan |last4=Gopal |first4=Gupta |last5=Hall |first5=Brendal |last6=Krena |first6=Bohuslav |last7=Larson |first7=Brian |last8=Varanasi |first8=Sarat Chandra |last9=Vojnar |first9=Toms |title=Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming. |journal=Theory and Practice of Logic Programming |date=2024 |volume=24 |issue=4 |page=844-862|doi=10.1017/S1471068424000280 |arxiv=2408.09909 }} and system assurance.{{cite journal |last1=Murugesan |first1=Anitha |last2=Wong |first2=Isaac |last3=Arias |first3=Joaquin |last4=Stroud |first4=Robert |last5=Varadarajan |first5=Srivatsan |last6=Salazar |first6=Elmer |last7=Gupta |first7=Gopal |last8=Bloomfield |first8=Robin |last9=Rushby |first9=John |title=Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP. |journal=Theory and Practice of Logic Programming |date=2024 |volume=24 |issue=4 |page=805-824 |doi=10.1017/S1471068424000425 |arxiv=2408.11699 |url=https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/automating-semantic-analysis-of-system-assurance-cases-using-goaldirected-asp/1515C06F4BC02013C302239B8C6C4562}}

More recently,{{cite news |last1=CorroHealth Inc. |title=Team Enhances AI-Driven Medical Coding Automation Platform|url=https://news.utdallas.edu/science-technology/ai-medical-coding-automation-platform-corrohealth-2025/}} Prof. Gopal Gupta and his research group have developed techniques that use Large language models to extract specific relevant data, or knowledge, which is then processed by a back-end reasoning engine that his team has built. A back-end reasoning engine operates on a server and processes complex data using programmed rules and logic to make deductions.

Gupta has been teaching LP summer camps to high school students since 2022. He has organized several [https://hackreason2025.devpost.com/ logic programming hackathons] since 2016 to promote logical reasoning. In the 90s, he worked on using Prolog as an introductory programming language for 1st year CS students. Currently, he is developing tools using the s(CASP) system for teaching computational thinking{{cite journal |last1=Gupta |first1=Gopal |last2=Salazar |first2=Elmer |last3=Arias |first3=Joaquin |title=Computational Thinking with Logic Programming |journal=Workshop on Prolog Education |date=2024 |url=https://personal.utdallas.edu/~gupta/computational_thinking_with_LP.pdf}} to people of all ages.

• Co-chair, [https://prolog-lang.org/Education/Organization.html Prolog Education Group].
• President, Association for Logic Programming, 2010–2014.{{Cite web|url=https://www.cs.nmsu.edu/ALP/the-association-for-logic-programming/policies-2/executive-committee-elections/|title=EC Elections – Association for Logic Programming|website=www.cs.nmsu.edu|language=en-US|access-date=2018-02-21}}{{Cite web|url=http://www.utdallas.edu/news/2012/7/5-18691_Profs-Startup-Untangles-Problems-With-Old-Software_article-wide.html|title=Prof's Firm Untangles Problems With Old Software - UT Dallas News|website=www.utdallas.edu|access-date=2018-02-22}}
• Computer science outstanding teacher of the year, University of Texas at Dallas, 2008.
• Best paper award. European Conferences on Web Services 2005{{Cite book|title=Abstract|last1=Kona|first1=Srividya|last2=Bansal|first2=Ajay|last3=Simon|first3=Luke|last4=Mallya|first4=Ajay|last5=Gupta|first5=Gopal|last6=Hite|first6=Thomas D.|last7=Corp|first7=Metallect|citeseerx = 10.1.1.99.4164}}{{Cite web|url=http://www.utdallas.edu/news/archive/2005/gupta-best-paper.html|title=UTD Computer Science Professor, Students Win Best Paper Awards|website=www.utdallas.edu|access-date=2018-02-22|archive-date=2019-05-02|archive-url=https://web.archive.org/web/20190502054353/https://www.utdallas.edu/news/archive/2005/gupta-best-paper.html|url-status=dead}}
• 10-year Test-of-Time Award. International Conference on Logic Programming 2016 {{cite web |title=ALP Awards| url=https://logicprogramming.org/the-association-for-logic-programming/alp-awards/ |access-date=3 April 2025}}

{{reflist}}

{{authority control}}

{{DEFAULTSORT:Gupta, Gopal}}

Category:Living people

Category:Indian computer scientists

Category:Year of birth missing (living people)

{{academic-bio-stub}}