Artificial Intelligence (AI) assisted software solutions have made substantial inroads in critical aspects of modern existence where they routinely make safety-, socio-, and legal- critical decision with certainty and swift. Instances of such AI-assisted decisions include: self-driving cars deciding to stop, implantable pacemakers deciding to pace, or the COMPAS (Correctional Offender Management Profiling for Alternative Sanctions) software deciding if individuals are prone to reoffend. These AI-assisted software are data-driven: they adapt their behavior based experiences in the form of data: be it the expertly curated data in supervised learning, surprising patterns hidden in raw data in unsupervised learning, or the self-generated data guided by expertly designed reward signals in reinforcement learning. The focus of Dr. Ashutosh Trivedi's research is on rigorous system engineering of data-driven system for improved safety, privacy, fairness, and accountability.
CSCI 2270 - Computer Science 2: Data Structures
Spring 2019 / Spring 2020 / Spring 2021 / Spring 2022 / Spring 2023
Studies data abstractions (e.g., stacks, queues, lists, trees, graphs, heaps, hash tables, priority queues) and their representation techniques (e.g., linking, arrays). Introduces concepts used in algorithm design and analysis including criteria for selecting data structures to fit their applications. Degree credit not granted for this course and CSCI 2275. Same as CSPB 2270.
CSCI 5444 - Introduction to Theory of Computation
Fall 2018 / Fall 2020 / Fall 2021 / Fall 2022
Reviews regular expressions and finite automata. Studies Turing machines and equivalent models of computation, the Chomsky hierarchy, context-free grammars, push-down automata, and computability.
CSCI 5854 - Theoretical Foundations for Cyber-Physical Systems
Covers techniques for modeling, design and verification of autonomous systems and application domains including automotive systems, robotics and medical devices. Modeling topics include timed systems, differential equations, switched systems, hybrid dynamical systems. Verification topics: reachability and stability verification. Temporal specifications. Synthesis of controllers. Applications: automotive systems, medical devices.