Jump to content

Gopal Gupta (computer scientist)

Add links
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Jacinto.davila (talk | contribs) at 12:31, 3 April 2025 (Updating career). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
Gopal Gupta
Gopal Gupta in 2018
Gopal Gupta in 2018
Scientific career
FieldsComputer science, programming languages, software engineering, artificial intelligence, human–computer interaction
InstitutionsUniversity of Texas at Dallas
WebsiteGopal Gupta

Gopal Gupta is the Erik Jonsson Professor and former head of the Department of Computer Science at the University of Texas at Dallas. Currently, co-director of the Center for Applied AI and Machine Learning.

Education

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.[1]

Career

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[2][3]. to automate porting of legacy codes into modern languages using logic programming.

Innovations

Gopal Gupta has founded two companies based on his logic programming research. His group discovered coinductive logic programming (coLP), which subsequently led to s(CASP), a logic programming-based automated reasoning system. His 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, legal reasoning, and software assurance[4].

Logical Thinking education

Gupta has been teaching LP summer camps to high school students since 2022. He has organized several 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[5] to lay people.

Awards and honors

References

  1. ^ "Gupta, Gopal - Department of Computer Science - The University of Texas at Dallas – Erik Jonsson School of Engineering and Computer Science". cs.utdallas.edu. Retrieved 2018-02-21.
  2. ^ "Prof's Firm Untangles Problems With Old Software - UT Dallas News". www.utdallas.edu. Retrieved 2018-02-22.
  3. ^ "- Gupta: Executive Profile & Biography - Bloomberg". www.bloomberg.com. Retrieved 2018-02-21.
  4. ^ MURUGESAN, Anitha; WONG, Isaac; ARIAS, Joaquin; STROUD, Robert; VARADARAJAN, Srivatsan; SALAZAR, Elmer; GUPTA, Gopal; BLOOMFIELD, Robin; RUSHBY, John (2024). "Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP". Theory and Practice of Logic Programming. 24 (4): 805-824. doi:10.1017/S1471068424000425.
  5. ^ Gupta, Gopal; Salazar, Elmer; Arias, Joaquin (2024). "Computational Thinking with Logic Programming" (PDF). Workshop on Prolog Education.
  6. ^ "EC Elections – Association for Logic Programming". www.cs.nmsu.edu. Retrieved 2018-02-21.
  7. ^ "Prof's Firm Untangles Problems With Old Software - UT Dallas News". www.utdallas.edu. Retrieved 2018-02-22.
  8. ^ Kona, Srividya; Bansal, Ajay; Simon, Luke; Mallya, Ajay; Gupta, Gopal; Hite, Thomas D.; Corp, Metallect. Abstract. CiteSeerX 10.1.1.99.4164.
  9. ^ "UTD Computer Science Professor, Students Win Best Paper Awards". www.utdallas.edu. Archived from the original on 2019-05-02. Retrieved 2018-02-22.


Stub icon

This biography of an academic is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Gopal_Gupta_(computer_scientist)&oldid=1283749809"