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 Ira Leviton (talk | contribs) at 20:39, 31 March 2025 (Fixed the image in the infobox. Please see Category:Pages using infoboxes with thumbnail images.). 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 is an Erik Jonsson Chaired Professor and head of the Department of Computer Science at The University of Texas at Dallas.[2] He also serves as a director of UT Dallas' Quality of Life Technology Labs along with Lakshman Tamil and Mehrdad Nourani.[3] He is the chief technology officer and co-founder of Interoperate.biz, Inc.[4][5] He is also the co-founder and co-coordinator of COMPULOG AMERICAS, a network of research groups in the Western Hemisphere engaged in research on computational logic.[6]

He has been active in research for over 25 years, mainly in the field of programming languages, software engineering, parallel and distributed processing and assistive technology. His work has resulted in over 40 journal articles and 108 conference and workshop papers.[7]

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

Logic 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[9] 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. ^ Dallas, UT. "Leadership - Erik Jonsson School of Engineering & Computer Science at The University of Texas at Dallas". engineering.utdallas.edu. Retrieved 2018-02-21.
  3. ^ "Quality of Life Technology Labs - People". www.utdallas.edu. Retrieved 2023-06-07.
  4. ^ "Prof's Firm Untangles Problems With Old Software - UT Dallas News". www.utdallas.edu. Retrieved 2018-02-22.
  5. ^ "- Gupta: Executive Profile & Biography - Bloomberg". www.bloomberg.com. Retrieved 2018-02-21.
  6. ^ "American Logic Programming Organization". www.cs.nmsu.edu. Retrieved 2018-02-22.
  7. ^ "dblp: Gopal Gupta". dblp.uni-trier.de. Retrieved 2018-02-26.
  8. ^ 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.
  9. ^ Gupta, Gopal; Salazar, Elmer; Arias, Joaquin (2024). "Computational Thinking with Logic Programming" (PDF). Workshop on Prolog Education.
  10. ^ "EC Elections – Association for Logic Programming". www.cs.nmsu.edu. Retrieved 2018-02-21.
  11. ^ "Prof's Firm Untangles Problems With Old Software - UT Dallas News". www.utdallas.edu. Retrieved 2018-02-22.
  12. ^ Kona, Srividya; Bansal, Ajay; Simon, Luke; Mallya, Ajay; Gupta, Gopal; Hite, Thomas D.; Corp, Metallect. Abstract. CiteSeerX 10.1.1.99.4164.
  13. ^ "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=1283328100"