Classes taught by Vladik Kreinovich


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