Introduction to techniques, limitations, and problems in the design of CMOS analog integrated circuits. 759-4 Artifical Intelligence in Robotics Introduction to robot intelligence and task planning. Material includes obstacle avoidance, robot planning, robotics computations, neural network computing, robot learning, and expert systems. 760-4 Advanced Software Engineering Introduction to software engineering. Fundamentals of problem specification, program design, verification, and evaluation are explored.
Students participate in team projects to apply the methods introduced.
Selected topics introduced in CEG 760 are explored in greater depth. Student projects from CEG 760 are used as subjects for detailed analysis and evaluation. 763-4 Formal Methods in Software Engineering Introduction to formal methods in the specification, design, construction, and verification of software systems. Discrete mathematics and logic for software engineering. CEG 760 .