Gopal Gupta (Preferred)
Gopal Gupta
Full Professor, Computer Science, University of Texas at Dallas
Joined
July 2019
Names
Emails
****@utdallas.edu (Confirmed)
Personal Links
Career & Education History
Full Professor
Computer Science, University of Texas at Dallas (cs.utdallas.edu)
2002 – Present
Associate Professor
Computer Science, University of Texas at Dallas (cs.utdallas.edu)
2000 – 2002
Associate Professor
Computer Science, New Mexico State University (cs.nmsu.edu)
1997 – 2000
Assistant Professor
Computer Science, New Mexico State University (cs.nmsu.edu)
1992 – 1997
Researcher
Computer Science, University of Bristol (cs.bristol.ac.uk)
1989 – 1991
Advisors, Relations & Conflicts
PhD Advisee
Elmer Salazar
2015 – 2023
PhD Advisee
Huaduo Wang
2019 – 2022
PhD Advisee
Fang Li
2018 – 2022
PhD Advisee
Sarat Chandra Varanasi
2017 – 2022
PhD Advisee
Farhad Sahkerin
2015 – 2020
PhD Advisee
Kyle Marple
2009 – 2017
PhD Advisee
Neda Saeedloei
2008 – 2012
Expertise
Software Assurance
2019 – Present
Explainable Machine Learning
2017 – Present
Formal Methods
, Real Time Systems
1997 – Present
Logic Programming
, Symbolic Reasoning
, Computational Logic
, Constraint Programming
1987 – Present
Parallel Processing
1987 – 2010
Publications
Co-Authors
- Aanchal Jain
- Abhiramon Rajasekharan
- Adnan Saeed
- Agostino Dovier
- Ajay Bansal
- Ajay Mallya
- Akshay Murthy
- Alexis R. Tudor
- Alexis Tudor
- Alfredo Ferro
- Alpesh Amin
- Amado Lara-Rodríguez
- Andrea Formisano
- Anitha Murugesan
- Arthur I. Karshmer
- B. Prabhakaran
- B. Raghavachari
- Bernhard Stöger
- Bharat Jayaraman
- Bohuslav Krena
- Brendal Hall
- Brendan Hall
- Brian Larson
- Brian Palmer
- Brian W. DeVries