Classes taught by Vladik Kreinovich
Fall 2025
Uncertainty in AI CS 4390/5390
Department of Computer Science, University of Texas at El Paso
Automata, Computability, and Formal Languages CS 3350
Department of Computer Science, University of Texas at El Paso
Spring 2025
Theory of Computation CS 5315/6315
Department of Computer Science, University of Texas at El Paso
Automata, Computability, and Formal Languages CS 3350
Department of Computer Science, University of Texas at El Paso
Fall 2024
Automata, Computability, and Formal Languages CS 3350
Department of Computer Science, University of Texas at El Paso
Spring 2024
Theory of Computation CS 5315/6315
Department of Computer Science, University of Texas at El Paso
Automata, Computability, and Formal Languages CS 3350
Department of Computer Science, University of Texas at El Paso
Fall 2023
Interval Computations CS 5351/CS 4365
Department of Computer Science, University of Texas at El Paso
Automata, Computability, and Formal Languages CS 3350
Department of Computer Science, University of Texas at El Paso
Spring 2023
Theory of Computation CS 5315/6315
Department of Computer Science, University of Texas at El Paso
Automata, Computability, and Formal Languages CS 3350
Department of Computer Science, University of Texas at El Paso
Fall 2022
Topics in Intelligent Computing/Topics In Soft Computing:
Computational Intelligence for Engineering Solutions:
Invariance-Based Approach CS 5354/CS 4365
Department of Computer Science, University of Texas at El Paso
Automata, Computability, and Formal Languages CS 3350
Department of Computer Science, University of Texas at El Paso
Spring 2022
Theory of Computation CS 5315/6315
Department of Computer Science, University of Texas at El Paso
Automata, Computability, and Formal Languages CS 3350
Department of Computer Science, University of Texas at El Paso
Fall 2021
Interval Computations CS 5351/CS 4365
Department of Computer Science, University of Texas at El Paso
Automata, Computability, and Formal Languages CS 3350
Department of Computer Science, University of Texas at El Paso
Summer 2021
Topics in Intelligent Computing/Topics In Soft Computing:
Foundations of Explainable Fuzzy AI CS 5354/CS 4365
Department of Computer Science, University of Texas at El Paso
Spring 2021
Theory of Computation CS 5315/6315
Department of Computer Science, University of Texas at El Paso
Automata, Computability, and Formal Languages CS 3350
Department of Computer Science, University of Texas at El Paso
Fall 2020
Topics in Intelligent Computing/Topics In Soft Computing:
From Quantum Computing to Computers of Generation Omega CS 5354/CS 4365
Department of Computer Science, University of Texas at El Paso
Automata, Computability, and Formal Languages CS 3350
Department of Computer Science, University of Texas at El Paso
Spring 2020
Theory of Computation CS 5315/6315
Department of Computer Science, University of Texas at El Paso
Automata, Computability, and Formal Languages CS 3350
Department of Computer Science, University of Texas at El Paso
Fall 2019
Topics in Intelligent Computing/Topics In Soft Computing
Intelligent Computing: Time to Gather Stones CS 5354/CS 4365
Department of Computer Science, University of Texas at El Paso
Automata, Computability, and Formal Languages CS 3350
Department of Computer Science, University of Texas at El Paso
Spring 2019
Theory of Computation CS 5315/6315
Department of Computer Science, University of Texas at El Paso
Automata, Computability, and Formal Languages CS 3350
Department of Computer Science, University of Texas at El Paso
Fall 2018
Topics in Intelligent Computing/Topics In Soft Computing
Advanced Computational Methods in Economics and Finance CS 5354/CS 4365
Department of Computer Science, University of Texas at El Paso
Automata, Computability, and Formal Languages CS 3350
Department of Computer Science, University of Texas at El Paso
Spring 2018
Theory of Computation CS 5315/6315
Department of Computer Science, University of Texas at El Paso
Automata, Computability, and Formal Languages CS 3350
Department of Computer Science, University of Texas at El Paso
Fall 2017
Interval Computations CS 5351/CS 4365
Department of Computer Science, University of Texas at El Paso
Automata, Computability, and Formal Languages CS 3350
Department of Computer Science, University of Texas at El Paso
Summer 2017
Design and Implementation of Programming Languages CS 3360
Department of Computer Science, University of Texas at El Paso
(co-taught with Luc Longpre)
Spring 2017
Theory of Computation CS 5315/6315
Department of Computer Science, University of Texas at El Paso
Automata, Computability, and Formal Languages CS 3350
Department of Computer Science, University of Texas at El Paso
Fall 2016
Automata, Computability, and Formal Languages CS 3350
Department of Computer Science, University of Texas at El Paso
Summer 2016
Topics in Intelligent Computing/Topics In Soft Computing
Data Processing under Security and Privacy CS 5354/CS 4365
Department of Computer Science, University of Texas at El Paso
Spring 2016
Theory of Computation CS 5315/6315
Department of Computer Science, University of Texas at El Paso
Logical Foundations of Computer Science CS 5303/6303
Department of Computer Science, University of Texas at El Paso
Automata, Computability, and Formal Languages CS 3350
Department of Computer Science, University of Texas at El Paso
Fall 2015
Interval Computations CS 6351
Department of Computer Science, University of Texas at El Paso
Automata, Computability, and Formal Languages CS 3350
Department of Computer Science, University of Texas at El Paso
Spring 2015
Theory of Computation CS 5315
Department of Computer Science, University of Texas at El Paso
Topics in Intelligent Computing/Topics In Soft Computing
Cloud Computing CS 5354/CS 4365
Department of Computer Science, University of Texas at El Paso
Fall 2014
Introduction to Computer Science CS 1401
Department of Computer Science, University of Texas at El Paso
Spring 2014
Theory of Computation CS 5315
Department of Computer Science, University of Texas at El Paso
Probability and Statistics for Computer Scientists STAT 3320
Department of Computer Science, University of Texas at El Paso
Fall 2013
Interval Computations/Topics in Soft Computing CS 5351/CS 4365
Department of Computer Science, University of Texas at El Paso
Introduction to Computer Science CS 1401
Department of Computer Science, University of Texas at El Paso
Spring 2013
Theory of Computation CS 5315
Department of Computer Science, University of Texas at El Paso
Probability and Statistics for Computer Scientists STAT 3320
Department of Computer Science, University of Texas at El Paso
Fall 2012
Introduction to Computer Science CS 1401
Department of Computer Science, University of Texas at El Paso
Automata, Computability, and Formal Languages CS 3350
Department of Computer Science, University of Texas at El Paso
Summer 2012
Elementary Data Structures and Algorithms CS 2401
Department of Computer Science, University of Texas at El Paso
Spring 2012
Theory of Computation CS 5315
Department of Computer Science, University of Texas at El Paso
Logical Foundations of Computer Science CS 5303
Department of Computer Science, University of Texas at El Paso
Fall 2011
Topics in Emerging Computing Paradigms/Topics In Soft Computing
Cloud Computing CS 5353/CS 4365
Department of Computer Science, University of Texas at El Paso
Elementary Data Structures and Algorithms CS 2401
Department of Computer Science, University of Texas at El Paso
Spring 2011
Theory of Computation CS 5315
Department of Computer Science, University of Texas at El Paso
Elementary Data Structures and Algorithms CS 2401
Department of Computer Science, University of Texas at El Paso
Fall 2010
Interval Computations/Topics in Soft Computing CS 5351/CS 4365
Department of Computer Science, University of Texas at El Paso
Elementary Data Structures and Algorithms CS 2401
Department of Computer Science, University of Texas at El Paso
Summer 2010
Topics in Intelligent Computing/Topics in Soft Computing
Fuzzy Systems and Their Application to Information Assurance,
Geosciences, and Environmental Sciences CS 5354/CS 4365
Department of Computer Science, University of Texas at El Paso
(co-taught with Luc Longpre)
Spring 2010
Theory of Computation CS 5315
Department of Computer Science, University of Texas at El Paso
Elementary Data Structures and Algorithms CS 2401
Department of Computer Science, University of Texas at El Paso
Fall 2009
Topics in Emerging Computing Paradigms/Topics In Soft Computing
Quantum and Tensor Computing CS 5353/CS 4365
Department of Computer Science, University of Texas at El Paso
Elementary Data Structures and Algorithms CS 2401
Department of Computer Science, University of Texas at El Paso
Spring 2009
Theory of Computation CS 5315
Department of Computer Science, University of Texas at El Paso
Elementary Data Structures and Algorithms CS 2401
Department of Computer Science, University of Texas at El Paso
Junior Professional Orientation CS 3195
Department of Computer Science, University of Texas at El Paso
December 2008 - January 2009
Interval Methods in Statistics
Department of Applied Statistics
King Mongkut's University of Technology North Bangkok, Thailand
Fall 2008
Topics in Emerging Computing Paradigms
Trust and Uncertainty in Cyberinfrastructure CS 5353
Department of Computer Science, University of Texas at El Paso
Systems Programming CS 3535
Department of Computer Science, University of Texas at El Paso
Spring 2008
Theory of Computation CS 5315
Department of Computer Science, University of Texas at El Paso
Introduction to Computer Science CS 1401
Department of Computer Science, University of Texas at El Paso
Fall 2007
Interval Computations CS 5351
Department of Computer Science, University of Texas at El Paso
Introduction to Computer Science CS 1401
Department of Computer Science, University of Texas at El Paso
Summer 2007
Topics in Intelligent Computing CS 5354
Computational Aspects of Conflict Resolution and Game Theory
(co-taught with Francois Modave)
Automata, Computability, and Formal Languages CS 3350
Department of Computer Science, University of Texas at El Paso
(co-taught with Francois Modave)
Spring 2007
Theory of Computation CS 5315
Department of Computer Science, University of Texas at El Paso
Introduction to Computer Science CS 1401
Department of Computer Science, University of Texas at El Paso
Fall 2006
Logical Foundations of Computer Science CS 5303
Department of Computer Science, University of Texas at El Paso
Introduction to Computer Science CS 1401
Department of Computer Science, University of Texas at El Paso
Summer 2006
Information Assurance for Cyberinfrastructure CS 5383
Department of Computer Science, University of Texas at El Paso
Spring 2006
Theory of Computation CS 5315
Department of Computer Science, University of Texas at El Paso
Introduction to Computer Science CS 1401
Department of Computer Science, University of Texas at El Paso
Fall 2005
Algorithms of the Inverse Problems in Geosciences
CS 5390/CS4390
Department of Computer Science, University of Texas at El Paso
Introduction to Computer Science CS 1401
Department of Computer Science, University of Texas at El Paso
Spring 2005
Theory of Computation CS 5315
Department of Computer Science, University of Texas at El Paso
Introduction to Computer Science CS 1401
Department of Computer Science, University of Texas at El Paso
Fall 2004
Topics in Emerging Computing Paradigms:
Quantum Computing CS 5353/CS 4390
Department of Computer Science, University of Texas at El Paso
Summer 2004
Advanced Topics in Intelligent Computing:
Uncertainty and Knowledge Representation in Geoinformatics CS 5354/CS 4365
Department of Computer Science, University of Texas at El Paso
Spring 2004
Theory of Computation CS 5315
Department of Computer Science, University of Texas at El Paso
Elementary Data Structures & Algorithms CS 2401
Department of Computer Science, University of Texas at El Paso
Fall 2003
Interval Computations CS 5351/CS 4365
Department of Computer Science, University of Texas at El Paso
Advanced Algorithms CS 5350
Department of Computer Science, University of Texas at El Paso
Spring 2003
Advanced Topics in Intelligent Computing:
Risk Analysis in Geoinformatics and Bioinformatics CS 5354/CS 4365
Department of Computer Science, University of Texas at El Paso
Introduction to Computer Science CS 1401
Department of Computer Science, University of Texas at El Paso
Fall 2002
Topics in Software Assurance: Statistical Methods CS 5382/CS 4390
Department of Computer Science, University of Texas at El Paso
Introduction to Computer Science CS 1401
Department of Computer Science, University of Texas at El Paso
Spring 2002
Interval Computations CS 5390/CS 4365
Department of Computer Science, University of Texas at El Paso
Introduction to Computer Science CS 1401
Department of Computer Science, University of Texas at El Paso
Fall 2001
Theory of Computation CS 5315
Department of Computer Science, University of Texas at El Paso
Introduction to Computer Science CS 1401
Department of Computer Science, University of Texas at El Paso
Spring 2001
Computers of Generation Omega CS 5390/CS 4390
Department of Computer Science, University of Texas at El Paso
Artificial Intelligence CS 5314
Department of Computer Science, University of Texas at El Paso
Fall 2000
Theory of Computation CS 5315
Department of Computer Science, University of Texas at El Paso
Advanced Algorithms CS 5350
Department of Computer Science, University of Texas at El Paso
Summer 2000
Data Mining and Satellite Image Processing CS 5390/CS 4365
Department of Computer Science, University of Texas at El Paso
Spring 2000
Design and Implementation of Programming Languages CS 3360
Department of Computer Science, University of Texas at El Paso
Building and Programming Mobile Robots CS 4390
Department of Computer Science, University of Texas at El Paso
Fall 1999
Theory of Computation CS 5315
Department of Computer Science, University of Texas at El Paso
Database Theory CS 5322
Department of Computer Science, University of Texas at El Paso
Spring 1999
Constraint Satisfaction and Intelligent Methods in
Operations Research CS 3590
Department of Computer Science, University of Texas at El Paso
Design and Implementation of Programming Languages CS 3360
Department of Computer Science, University of Texas at El Paso
Fall 1998
Theory of Computation CS 3515
Department of Computer Science, University of Texas at El Paso
Introduction to Computer Science CS 4101
Department of Computer Science, University of Texas at El Paso
Summer 1998
Applications of Soft Computing to Image Processing CS 3590/CS 4390
Department of Computer Science, University of Texas at El Paso
Spring 1998
Data Mining and Machine Leaning CS 3590
Department of Computer Science, University of Texas at El Paso
Introduction to Computer Science CS 4101
Department of Computer Science, University of Texas at El Paso
Fall 1997
Theory of Computation CS 3515
Department of Computer Science, University of Texas at El Paso
Introduction to Computer Science CS 4101
Department of Computer Science, University of Texas at El Paso
Summer 1997
Neural Networks CS 3465
Department of Computer Science, University of Texas at El Paso
Spring 1997
Advanced Mathematics for Engineers II EE3501
Department of Electrical and Computer Engineering
University of Texas at El Paso
Introduction to Computer Science CS 4101
Department of Computer Science, University of Texas at El Paso
Fall 1996
Theory of Computation CS 3515
Department of Computer Science, University of Texas at El Paso
Introduction to Computer Science CS 4101
Department of Computer Science, University of Texas at El Paso
Spring 1996
Systems Programming CS 3335
Department of Computer Science, University of Texas at El Paso
Introduction to Computer Science CS 4101
Department of Computer Science, University of Texas at El Paso
Fall 1995
Theory of Computation CS 3515
Department of Computer Science, University of Texas at El Paso
Introduction to Computer Science CS 4101
Department of Computer Science, University of Texas at El Paso
Spring 1995
Introduction to Computer Science CS 4101
Department of Computer Science, University of Texas at El Paso
Systems Programming CS 3335
Department of Computer Science, University of Texas at El Paso
Fall 1994
Theory of Computation CS 3515
Department of Computer Science, University of Texas at El Paso
Automata, Computability, and Formal Languages CS 3350
Department of Computer Science, University of Texas at El Paso
Summer 1994
Expert Systems CS 3590
Department of Computer Science, University of Texas at El Paso
Spring 1994
Interval Computations CS 3590
Department of Computer Science, University of Texas at El Paso
Systems Programming CS 3335
Department of Computer Science, University of Texas at El Paso
Fall 1993
Theory of Computation CS 3515
Department of Computer Science, University of Texas at El Paso
Automata, Computability, and Formal Languages CS 3350
Department of Computer Science, University of Texas at El Paso
Summer 1993
Intelligent Control CS 3590
Department of Computer Science, University of Texas at El Paso
Spring 1993
Design and Implementation of Programming Languages CS 3360
Department of Computer Science, University of Texas at El Paso
Systems Programming CS 3335
Department of Computer Science, University of Texas at El Paso
Fall 1992
Mathematical Methods in Computer Science
CS 3590 Department of Computer Science, University of Texas at El Paso
Theory of Computation CS 3515
Department of Computer Science, University of Texas at El Paso
Spring 1992
Data Structures CS 3202
Department of Computer Science, University of Texas at El Paso
Systems Programming CS 3335
Department of Computer Science, University of Texas at El Paso
Fall 1991
Theory of Computations CS 3515
Department of Computer Science, University of Texas at El Paso
Data Structures CS 3202
Department of Computer Science, University of Texas at El Paso
Spring 1991
Design and Implementation of Programming Languages CS 3360
Department of Computer Science, University of Texas at El Paso
Systems Programming CS 3335
Department of Computer Science, University of Texas at El Paso
Fall 1990
PROLOG CS 3330
Department of Computer Science, University of Texas at El Paso
Programming and Algorithms CS 4201
Department of Computer Science, University of Texas at El Paso
Summer 1990
Algorithms and Complexity CS 3590/CS 3490
Department of Computer Science, University of Texas at El Paso
Spring 1990
Uncertainty Representation in Intelligent Systems CS 3590
Department of Computer Science, University of Texas at El Paso
Introduction to Computer Science for Scientists and Engineers CS 4120
Department of Computer Science, University of Texas at El Paso
1988-89
Introduction to Science (College Level)
Special Mathematical College, Leningrad University
1985-89
Latest developments in Artificial Intelligence
Department of Mathematical Logic
Leningrad Electrotechnical Institute, Leningrad, USSR
1980-89
Advising Ph.D. thesis and M.S. in Mathematics and Applied Mathematics
Leningrad University,
Leningrad Technical University, and
Leningrad Electrotechnical Institute
5 M.S., 1 Ph.D.
1980-83
Introduction to Computers
Experimental College of Intensive Education
Laboratory of Experimental Psychological Systems
Leningrad, USSR
1981
Mathematical Methods in Social Sciences
Leningrad Pedagogical Institute
1976
Mathematical Models of Space-Time
Novosibirsk University
1975-76
Precalculus, Honors Program
Novosibirsk University
1975
Calculus, Teaching Assistant
Novosibirsk University
1970-74
Precalculus, Honors Program
Mathematics and Astronomy Departments
Leningrad University