College of LS&A

Winter Academic Term 2004 Graduate Course Guide

Note: You must establish a session for Winter Academic Term 2004 on wolverineaccess.umich.edu in order to use the link "Check Times, Location, and Availability". Once your session is established, the links will function.

Courses in Electrical Engineering and Computer Science


This page was created at 6:22 PM on Wed, Jan 21, 2004.

Winter Academic Term 2004 (January 6 - April 30)


EECS 427. VLSI (Very Large Scale Integrated) Design I.

Computer Science

Section 001.

Instructor(s): Dennis Michael Sylvester

Prerequisites: EECS 270 and 312 with a grade of at least C; or graduate standing (Prerequisites enforced at registration). (4). May not be repeated for credit. CAEN lab access fee required for non-Engineering students.

Credits: (4).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: No homepage submitted.

No Description Provided. Contact the Department.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: 1

EECS 470. Computer Architecture.

Computer Science

Section 001.

Instructor(s): Mark W B Brehob

Prerequisites: EECS 270 and 370 with a grade of at least C; or graduate standing (Prerequisites enforced at registration). (4). May not be repeated for credit. CAEN lab access fee required for non-Engineering students.

Credits: (4).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: http://coursetools.ummu.umich.edu/2004/winter/eecs/470/001.nsf

No Description Provided. Contact the Department.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: No Data Given.

EECS 478. Logic Circuit Synthesis and Optimization.

Computer Science

Section 001.

Instructor(s): Karem A Sakallah (karem@umich.edu)

Prerequisites: EECS 270 and 203 with a grade of at least C; and senior or graduate standing (Prerequisites enforced at registration). (4). May not be repeated for credit. CAEN lab access fee required for non-Engineering students.

Credits: (4).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: http://coursetools.ummu.umich.edu/2004/winter/eecs/478/001.nsf

No Description Provided. Contact the Department.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: No Data Given.

EECS 481. Software Engineering.

Computer Science

Section 001.

Instructor(s): David R Chesney

Prerequisites: EECS 281 with a grade of at least C; or graduate standing (Prerequisites enforced at registration). (4). May not be repeated for credit. CAEN lab access fee required for non-Engineering students.

Credits: (4).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: No homepage submitted.

No Description Provided. Contact the Department.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: No Data Given.

EECS 482. Introduction to Operating Systems.

Computer Science

Section 001.

Instructor(s): Peter M Chen, Jason Nelson Flinn

Prerequisites: EECS 370 and 281 with a grade of at least C; or graduate standing (Prerequisites enforced at registration). (4). May not be repeated for credit. CAEN lab access fee required for non-Engineering students.

Credits: (4).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: http://www.eecs.umich.edu/~pmchen/eecs482/

No Description Provided. Contact the Department.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: No Data Given.

EECS 484. Database Management Systems.

Computer Science

Section 001.

Instructor(s): Viviane Crestana Jensen (viviane@umich.edu)

Prerequisites: EECS 281 with a grade of at least C; or graduate standing (Prerequisites enforced at registration). The course project is programming intensive and requires that you be comfortable programming in C++. (4). May not be repeated for credit. CAEN lab access fee required for non-Engineering students.

Credits: (4).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: http://coursetools.ummu.umich.edu/2004/winter/eecs/484/001.nsf

No Description Provided. Contact the Department.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: No Data Given.

EECS 485. Web Database and Information Systems.

Computer Science

Section 001.

Instructor(s): Hosagrahar V Jagadish

Prerequisites: EECS 484 with a grade of at least C; or graduate standing (Prerequisites enforced at registration). Permission of instructor required. (4). May not be repeated for credit. CAEN lab access fee required for non-Engineering students.

Credits: (4).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: http://www.eecs.umich.edu/~jag/eecs485/

No Description Provided. Contact the Department.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: 5, Permission of instructor

EECS 487. Interactive Computer Graphics.

Computer Science

Instructor(s): Jon W Harris, Lee Markosian

Prerequisites: EECS 281 with a grade of at least C; and senior or graduate standing (Prerequisites enforced at registration). (4). May not be repeated for credit. CAEN lab access fee required for non-Engineering students.

Credits: (4).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: http://www.eecs.umich.edu/courses/eecs487/W04/

No Description Provided. Contact the Department.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: No Data Given.

EECS 489. Computer Networks.

Computer Science

Section 001.

Instructor(s): Kang Geun Shin

Prerequisites: EECS 482 with a grade of at least C; or graduate standing (Prerequisites enforced at registration). You must also have good working knowledge of C and UNIX. An introduction to probability course such as EECS 401, EECS 501, Math 425, Math 525, or Stat 412 is highly recommended as a co-requisite. (4). May not be repeated for credit. CAEN lab access fee required for non-Engineering students.

Credits: (4).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: http://www.umich.edu/courses/eecs489

No Description Provided. Contact the Department.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: No Data Given.

EECS 492. Introduction to Artificial Intelligence.

Computer Science

Section 001.

Instructor(s): Satinder Singh Baveja

Prerequisites: EECS 281 with a grade of at least C; or graduate standing (Prerequisites enforced at registration). (4). May not be repeated for credit. CAEN lab access fee required for non-Engineering students.

Credits: (4).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: http://coursetools.ummu.umich.edu/2004/winter/eecs/492/001.nsf

The purpose of this course is to introduce the student to the major ideas and techniques of Artificial Intelligence, as well as to develop an appreciation for the engineering issues underlying the design of intelligent computational agents. The successful student will finish the course with specific modeling and analytical skills (e.g., search, logic, probability), knowledge of many of the most important knowledge representation, reasoning, and machine learning schemes, and a general understanding of AI principles and practice. The course will serve to prepare the student for further study of AI, as well as to inform any work involving the design of computer programs for substantial application domains.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: No Data Given.

EECS 493. User Interface Development.

Computer Science

Section 001.

Instructor(s): Mark Steven Ackerman

Prerequisites: EECS 281 with a grade of at least C; or graduate standing (Prerequisites enforced at registration). Fluency in a standard object-oriented programming language is assumed. (4). May not be repeated for credit. CAEN lab access fee required for non-Engineering students.

Credits: (4).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: No homepage submitted.

No Description Provided. Contact the Department.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: No Data Given.

EECS 497. EECS Major Design Projects.

Computer Science

Section 001.

Instructor(s): Elliot Soloway (soloway@umich.edu)

Prerequisites: Senior or graduate standing (Prerequisites enforced at registration). Successful completion of at least 2/3 credits required for Prog. Subjects. (4). May be repeated for credit. CAEN lab access fee required for non-Engineering students.

Credits: (4).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: No homepage submitted.

No Description Provided. Contact the Department.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: 1

EECS 498. Special Topics.

Computer Science

Section 001 — Cryptography. [4 credits].

Instructor(s): Satyanarayana Lokam (satyalv@umich.edu)

Prerequisites: (1-4). May be repeated for credit. May be elected more than once in the same term. CAEN lab access fee required for non-Engineering students.

Credits: (1-4).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: http://www.eecs.umich.edu/~satyalv/crypto498/

This is a 4-credit course approved as an upper-level flexible technical elective for undergraduate students in CS-ENGR and CS-LSA. Pending approval, graduate students in EECS may be able to take it to fulfill their 400-level course requirements. This course will study fundamental concepts, algorithms, encryption schemes, and protocols in cryptography. Main topics we plan to cover are: symmetric (private key) encryption, public key encryption, digital signatures, and key distribution. We will emphasize a rigorous mathematical study of the various cryptographic schemes and their security in terms of algorithmic complexity. We will devote a nontrivial part of the course to algorithms and mathematical background from number theory and algebra needed to gain a solid understanding of cryptography. We will highlight popular cryptographic schemes such as AES and RSA and investigate their security.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: 1

EECS 498. Special Topics.

Computer Science

Section 003 — Computational Logic. [4 credits].

Instructor(s): William C Rounds

Prerequisites: (1-4). May be repeated for credit. May be elected more than once in the same term. CAEN lab access fee required for non-Engineering students.

Credits: (1-4).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: http://coursetools.ummu.umich.edu/2004/winter/eecs/498/003.nsf

An introduction to current methodologies for verifying computer systems. Topics covered include logic and theorem proving; modeling sequential, reactive and concurrent systems; transition systems; model checking methods; and controlling state explosion. Special topics such as temporal logic, the mu-calculus, binary decision diagrams, and concurrency models will be covered as time permits. Students will complete a project using either current model checking technology, or by presenting a paper on a research topic.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: 1

EECS 498. Special Topics.

Computer Science

Section 004 — Micromanufacturing Processes. [3 credits].

Instructor(s): Khalil Najafi (najafi@umich.edu)

Prerequisites: (1-4). May be repeated for credit. May be elected more than once in the same term. CAEN lab access fee required for non-Engineering students.

Credits: (1-4).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: https://coursetools.ummu.umich.edu/2004/winter/eecs/498/004.nsf

The focus of the course is on non-lithographic processes, micrometrology, and precision principles. It is an introductory, survey-type course and covers a new topic each week. The topics include: Introduction to micro domain, scaling and effects, micrometrology and instrument operation, intro to litho processes, errors in precision machining, machine tool errors, conventional machining analysis and contrasting with micro, diamond machining, micromilling, microdrilling, micro EDM, laser machining, embossing and ultrasonic machining. We "dabble" in each of the topics. The course is being offered over the web and is taught by Prof. Craig Friedrich at Michigan Technological University, and will be managed by Prof. Najafi at UM (najafi@umich.edu). All lectures, labs and demonstrations will be on tape that can be watched from a website. Taped labs will be either a demonstration or an experiment. In experiments, MTU students will perform programming, machining, and metrology using state-of-the-art instrumentation. The data acquired in these labs will be handed out to students at UM to make analysis and write a lab report about it. Short essay-type questions will be answered in lab reports for demonstration labs.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: 1

EECS 498. Special Topics.

Computer Science

Section 006 — Programming for Bioinformatics. [3 credits].

Instructor(s): Andrew Morgan (morgana@umich.edu)

Prerequisites: (1-4). May be repeated for credit. May be elected more than once in the same term. CAEN lab access fee required for non-Engineering students.

Credits: (1-4).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: No homepage submitted.

No Description Provided. Contact the Department.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: 1

EECS 498. Special Topics.

Computer Science

Section 009 — Topic? [4 credits].

Instructor(s):

Prerequisites: (1-4). May be repeated for credit. May be elected more than once in the same term. CAEN lab access fee required for non-Engineering students.

Credits: (1-4).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: No homepage submitted.

No Description Provided. Contact the Department.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: 1

EECS 498. Special Topics.

Computer Science

Section 005 — Advanced Computer Graphics. [4 credits]. Meets with EECS 598.001.

Instructor(s): Igor Guskov (guskov@umich.edu)

Prerequisites: (1-4). May be repeated for credit. May be elected more than once in the same term. CAEN lab access fee required for non-Engineering students.

Credits: (1-4).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: http://www.eecs.umich.edu/~guskov/acg/

See EECS 598.001.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: No Data Given.

EECS 499. Directed Study.

Computer Science

Instructor(s):

Prerequisites: Senior or graduate standing (Prerequisites enforced at registration). Restricted to EECS concentrators. (1-4). (INDEPENDENT). May be repeated for credit. CAEN lab access fee required for non-Engineering students.

Credits: (1-4).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: No homepage submitted.

Individual study of selected topics in Electrical Engineering and Computer Science. May include experimental investigation or library research.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: No Data Given.

EECS 573. Microarchitecture.

Computer Science

Section 001.

Instructor(s): Trevor N Mudge

Prerequisites: EECS 470. (3). May not be repeated for credit. CAEN lab access fee required for non-Engineering students.

Credits: (3).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: http://www.eecs.umich.edu/~tnm/573/

No Description Provided. Contact the Department.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: 1

EECS 578. Computer-Aided Design Verification of Digital Systems.

Computer Science

Section 001.

Instructor(s): Valeria M Bertacco

Prerequisites: EECS 478 and graduate standing. (3). May not be repeated for credit. CAEN lab access fee required for non-Engineering students.

Credits: (3).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: http://www.eecs.umich.edu/~vale/eecs578/

Students completing this course will achieve a solid foundation in current practical functional verification techniques, both in the realm of simulation and formal verification. They will gain hands-on experience with the verification tools covered in the class and have the opportunity to apply these techniques to a real problem of the student's choosing. The course provides necessary background for advanced research in the field, as well as exposure to practical aspects of verification for students focusing in other areas.

Prerequisites EECS 478 or equivalent. I will assume you are familiar with basic concepts of digital design and computer architecture. I will also assume that you can read and understand simple programs in C or C++ and in Verilog. Knowledge of basic concepts of logic design, computer aided design and basic C programming.

Credits and Grading Grades will be based on homeworks, class participation, student presentations, midterm and final project. The weight of each component is approximately as follows: Presentation & participation 10% Homeworks 30% Midterm 20% Final project 40%

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: 1

EECS 581. Software Engineering Tools.

Computer Science

Section 001.

Instructor(s): John H Sayler

Prerequisites: EECS 481 or equivalent programming experience. (3). May not be repeated for credit. CAEN lab access fee required for non-Engineering students.

Credits: (3).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: No homepage submitted.

No Description Provided. Contact the Department.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: 1

EECS 583. Advanced Compilers.

Computer Science

Section 001.

Instructor(s): Scott Mahlke

Prerequisites: EECS 281 and 370; EECS 483 recommended. (4). May not be repeated for credit. Rackham credit requires additional work. CAEN lab access fee required for non-Engineering students.

Credits: (4).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: http://www.eecs.umich.edu/~mahlke/583w04/

Course Description An in-depth study of compiler backend design for high-performance architectures. Topics include control-flow and data-flow analysis, classical optimization, instruction scheduling, and register allocation. Advanced topics include memory hierarchy management, optimization for instruction-level parallelism, modulo scheduling, predicated and speculative execution. The class focus is processor-specific compilation techniques, thus familiarity with both computer architecture and compilers is recommended.

Reference Books: Advanced Compiler Design & Implementation, Steven S. Muchnick, Morgan Kaufmann, 1997. Compilers: Principles, Techniques, and Tools, Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman, Addison-Wesley, 1988. Building an Optimizing Compiler, Robert Morgan, Butterworth-Heinemann,1998.

Prerequisites: Strong C++ programming skills (EECS 281), good background in computer architecture (EECS 370 at minimum, EECS 470 is desirable), some familiarity with compilers (EECS 483 is desirable but not needed).

Grade
Midterm Exam - 30%
Project - 40%
Homeworks - 15%
Paper presentation — 7.5%
Class participation — 7.5%

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: 1

EECS 586. Design and Analysis of Algorithms.

Computer Science

Section 001.

Instructor(s): Quentin F Stout (qstout@umich.edu)

Prerequisites: EECS 281. (3). May not be repeated for credit. CAEN lab access fee required for non-Engineering students.

Credits: (3).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: http://www.eecs.umich.edu/~qstout/586/index.html

Content We will cover the design and analysis of efficient algorithms to solve fundamental computational problems in searching, sorting, graph theory, geometry, optimization, and decision theory. We cover a variety of algorithmic design principles, such as greedy algorithms, divide-and-conquer, and dynamic programming. We also cover the ways in which one analyzes the efficiency of algorithms, through the use of "generalized O-notation" for worst-case, expected-case, and competitive analyses, and some techniques for proving that an algorithm is an optimal solution to a problem. Audience In decreasing order of frequency, historically the students in this class have been Gradute students in Computer Science and Engineering: For these students, this class can satisfy the Theory distributional requirements for the MS and PhD degrees, and helps satisfy the 500-level course requirements. Graduate students from other disciplines: For these students, this class can satisfy cognate requirements, and it can satisfy computer science requirements for students in the scientific computing program administered through LaSC (Laboratory for Scientific Computing). If you are interested in this program feel free to talk with me about it. Undergraduate students: For CSE undergraduates it can satisfy computer-oriented technical elective requirements, and can be used to satisfy theory requirements (though this is not recommended unless you are good and you should talk to me before you try this). Students in other majors might also take it, though this is quite rare. Most of the students enrolled are in the first category. For all students, the course can satisfy that burning desire to learn more about algorithms and computer science. This is a core graduate computer science course, both here and elsewhere, and I make an attempt to show how algorithms relate to a wide range of software and hardware concerns. You'll find that the material is useful in other courses, in research, and in software projects outside the university. In some cases you'll use specific algorithms from class, while in many other situations you'll need to design a new algorithm using the techniques taught in the class. Prerequisites You should be able to program well in some standard procedural language such as C, C++, Fortran, or Java, had experience in data structures at least equivalent to EECS 280, and preferably had at least one class that used 280 as a prerequisite. In class we'll use pseudo-code, so the computer language you've used is not critical. In terms of mathematical background, you should have had least EECS 203 or its equivalent and done well in it. Any additional upper level courses in theoretical computer science, logic, or discrete mathematics in which you had to do proofs will be helpful. In addition to discrete mathematics we will also make use of calculus and basic probability theory. Texts 1.Introduction to Algorithms by Corman, Leiserson, Rivest and Stein. Most of the course will be based on this book. 2.Computers and Intractability by Garey and Johnson. This will be used near the end of the course. There will also be additional handouts as the course progresses.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: 1

EECS 591. Distributed Systems.

Computer Science

Section 001.

Instructor(s): Farnam Jahanian (farnam@umich.edu)

Prerequisites: EECS 482 and graduate standing. (4). May not be repeated for credit. CAEN lab access fee required for non-Engineering students.

Credits: (4).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: http://coursetools.ummu.umich.edu/2004/winter/eecs/591/001.nsf

Principles and practice underlying the design of distributed systems and networked applications. Detailed coverage of key concepts including: communication, consistency and replication, caching, fault-tolerance, synchronization, naming, and security. In-depth examination of dominant paradigms for structuring distributed systems including: client-server computing, distributed objects, peer-to-peer, publish-subscribe, distributed file systems, multicast communication, distributed shared memory, web services and the WWW architecture. Group projects emphasizing hands-on experimentation & detailed case studies are used to illustrate key concepts

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: 1

EECS 592. Advanced Artificial Intelligence.

Computer Science

Section 001.

Instructor(s): Michael P Wellman

Prerequisites: EECS 492. (4). May not be repeated for credit. CAEN lab access fee required for non-Engineering students.

Credits: (4).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: http://coursetools.ummu.umich.edu/2004/winter/eecs/592/001.nsf

Advanced topics in Artificial Intelligence. Intended as preparation for research in the field. Coursework will comprise extensive reading, research and writing assignments, quizzes, and a final project.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: 1

EECS 597 / LING 702 / SI 760. Language and Information.

Section 001.

Instructor(s): Dragomir Radkov Radev (radev@umich.edu)

Prerequisites: EECS 380 or concurrent election of one of SI 503 or EECS 595; and graduate standing. (3). May not be repeated for credit.

Credits: (3).

Course Homepage: http://tangra.si.umich.edu/~radev/LNI-winter2004/

See LING 702.001.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: No Data Given.

EECS 598. Special Topics in Electrical Engineering and Computer Science.

Computer Science

Section 001 — Advanced Computer Graphics. [4 credits]. Meets with EECS 498.005.

Instructor(s): Igor Guskov (guskov@umich.edu)

Prerequisites: Permission of instructor or advisor. (1-4). May be repeated for credit. May be elected more than once in the same term. CAEN lab access fee required for non-Engineering students.

Credits: (1-4).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: http://coursetools.ummu.umich.edu/2004/winter/eecs/598/001.nsf

This is the first graduate-level course in Computer Graphics, with emphasis on geometric modeling and real-time rendering techniques, also introducing some topics from image/video processing. We will cover a variety of shape representations from polygonal meshes and subdivision surfaces to implicit shape descriptions. Modern programmable graphics hardware architectures are explored including vertex/fragment programmable shaders. The rest of the course will introduce a number of important image/video processing techniques coming from computer vision.

Intended audience for this course includes CSE graduate students interested in graphics, as well as undergraduate students who took EECS 487 but would like to learn more.

Basic knowledge of OpenGL and working knowledge of C/C++ is assumed. The course will be approved for graduate 500-level requirement.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: 1, 5, Permission of instructor

EECS 598. Special Topics in Electrical Engineering and Computer Science.

Computer Science

Section 002 — Security. [3 credits].

Instructor(s): Atul Prakash (aprakash@umich.edu)

Prerequisites: Permission of instructor or advisor. (1-4). May be repeated for credit. May be elected more than once in the same term. CAEN lab access fee required for non-Engineering students.

Credits: (1-4).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: No homepage submitted.

No Description Provided. Contact the Department.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: 1, 5, Permission of instructor

EECS 598. Special Topics in Electrical Engineering and Computer Science.

Computer Science

Section 003 — Programming Languages. [4 credits].

Instructor(s): Chandra Boyapati (bchandra@umich.edu)

Prerequisites: Permission of instructor or advisor. (1-4). May be repeated for credit. May be elected more than once in the same term. CAEN lab access fee required for non-Engineering students.

Credits: (1-4).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: http://www.eecs.umich.edu/~bchandra/eecs598-pl/

This is a 4-credit course that covers fundamental concepts in programming languages as well as recent topics and trends in PL research. Topics include operational semantics, axiomatic semantics, type systems, program verification using theorem provers, and software model checking. The course focusses on applying PL concepts to improve software reliability. The course includes a semester long individual research project.

This course will count towards software area qualification and as an MS and PhD kernel course.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: 1, 5, Permission of instructor

EECS 598. Special Topics in Electrical Engineering and Computer Science.

Computer Science

Section 004 — Advanced Topics in Computer Networks. [3 credits].

Instructor(s): Zhuoqing Mao

Prerequisites: Permission of instructor or advisor. (1-4). May be repeated for credit. May be elected more than once in the same term. CAEN lab access fee required for non-Engineering students.

Credits: (1-4).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: http://www.eecs.umich.edu/~zmao/eecs598-4/

Prerequisite: CS489 or undergraduate introductory class to networking required. Background in system programming, statistics and probability are helpful.

This is a graduate level seminar course on computer networking. The course consists of both a reading/lecture/discussion component and a project component. We will read about 50 research papers on most recent topics of computer networking: This class examines the current and emerging research topics in computer networking. Topics covered include network protocols, network measurement, Internet routing, peer to peer networks, network security, wireless and sensor networks. We focus both on the existing technologies also on why some of them are not sufficient because of technology trends or changes in fundamental assumptions. As an example, early designers of Internet assumed cooperative behavior of end nodes. The state of the art of tens of thousands of compromised hosts completely changes this assumption. Emphasis of the course is on topics in wide-area networks and measurement methodologies for Internet experiments. Students are expected to carry out a research project including analysis, design, and implementation components when appropriate on a novel subject.

The class projects can be either of the following types: design/implementation, measurement, and simulation. The lecture will be conducted in an interactive fashion. I will lead the discussion for the first part of the class, but I expect everyone to participate. For the second half of the class, I expect each student (can be in groups) to present a paper. You will be graded for both the paper summaries and class discussion.

Grading Research project 50% Assignments/exam 25% Paper presentation 10% Reading summaries 10% Class discussion 5%

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: 1, 5, Permission of instructor

EECS 598. Special Topics in Electrical Engineering and Computer Science.

Computer Science

Section 005 — Analog to Digital Interfaces. [4 credits].

Instructor(s): Michael Flynn (mpflynn@umich.edu)

Prerequisites: Permission of instructor or advisor. (1-4). May be repeated for credit. May be elected more than once in the same term. CAEN lab access fee required for non-Engineering students.

Credits: (1-4).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: http://www.eecs.umich.edu/~mpflynn/Design%20Contest/Fall2002/F02Index.htm

This 4 credit course covers most of the well known analog to digital and digital to analog conversion schemes. The theory of analog-digital conversion, as well as metrics and test are also discussed. Both Nyquist rate and oversampling converters are covered. Nyquist rate schemes include flash, folding, multi-step and pipeline. The main focus is on CMOS circuits but some bipolar schemes are also discussed. The emphasis is on designing circuits that can be built on state-of-the-art commercial processes. The course begins with a short review of mixed-signal design. Common building blocks, such as comparators and opamps will be examined in detail. However, students are expected to have a good knowledge of analog design fundamentals (i.e. feedback, small signal analysis, stability etc.) and should also be familiar with spice or spectre, before taking this course. EECS 413 (or an equivalent) is a prerequisite. Design work is a significant part of this course. Students design and model complete converters. Design is done with the aid of Matlab, Composer and Spectre. Follow the link below for information on the projects from an earlier special topics offering of this material.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: 1, 5, Permission of instructor

EECS 598. Special Topics in Electrical Engineering and Computer Science.

Computer Science

Section 006 — Theory of quantum computation and information. [3 credits].

Instructor(s): Yaoyun Shi

Prerequisites: Permission of instructor or advisor. (1-4). May be repeated for credit. May be elected more than once in the same term. CAEN lab access fee required for non-Engineering students.

Credits: (1-4).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: http://coursetools.ummu.umich.edu/2004/winter/eecs/598/006.nsf

No Description Provided. Contact the Department.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: 1, 5, Permission of Instructor

EECS 598. Special Topics in Electrical Engineering and Computer Science.

Computer Science

Section 007 — Topic? [3 credits].

Instructor(s):

Prerequisites: Permission of instructor or advisor. (1-4). May be repeated for credit. May be elected more than once in the same term. CAEN lab access fee required for non-Engineering students.

Credits: (1-4).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: No homepage submitted.

No Description Provided. Contact the Department.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: 5, Permission of Instructor

EECS 598. Special Topics in Electrical Engineering and Computer Science.

Computer Science

Section 008 — Information Th & Data Compr [3 credits].

Instructor(s): Serap Savari

Prerequisites: Permission of instructor or advisor. (1-4). May be repeated for credit. May be elected more than once in the same term. CAEN lab access fee required for non-Engineering students.

Credits: (1-4).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: No homepage submitted.

No Description Provided. Contact the Department.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: 1, 5, Permission of instructor

EECS 598. Special Topics in Electrical Engineering and Computer Science.

Computer Science

Section 009 — Production Sys Engr [3 credits].

Instructor(s): Semyon M Meerkov

Prerequisites: Permission of instructor or advisor. (1-4). May be repeated for credit. May be elected more than once in the same term. CAEN lab access fee required for non-Engineering students.

Credits: (1-4).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: No homepage submitted.

No Description Provided. Contact the Department.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: 1, 5, Permission of Instructor

EECS 598. Special Topics in Electrical Engineering and Computer Science.

Computer Science

Section 010 — Theory and Techniques of Coherent Control [3 credits].

Instructor(s): Theodore Norris

Prerequisites: Permission of instructor or advisor. (1-4). May be repeated for credit. May be elected more than once in the same term. CAEN lab access fee required for non-Engineering students.

Credits: (1-4).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: http://coursetools.ummu.umich.edu/2004/winter/eecs/598/010.nsf

No Description Provided. Contact the Department.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: 5, Permission of instructor

EECS 598. Special Topics in Electrical Engineering and Computer Science.

Computer Science

Section 014 — Micromanufacturing Processes. [3 credits].

Instructor(s): Khalil Najafi (najafi@umich.edu), Senol Mutlu

Prerequisites: Permission of instructor or advisor. (1-4). May be repeated for credit. May be elected more than once in the same term. CAEN lab access fee required for non-Engineering students.

Credits: (1-4).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: http://coursetools.ummu.umich.edu/2004/winter/eecs/498/004.nsf

The focus of the course is on non-lithographic processes, micrometrology, and precision principles. It is an introductory, survey-type course and covers a new topic each week. The topics include: Introduction to micro domain, scaling and effects, micrometrology and instrument operation, intro to litho processes, errors in precision machining, machine tool errors, conventional machining analysis and contrasting with micro, diamond machining, micromilling, microdrilling, micro EDM, laser machining, embossing and ultrasonic machining. We "dabble" in each of the topics. The course is being offered over the web and is taught by Prof. Craig Friedrich at Michigan Technological University, and will be managed by Prof. Najafi at UM (najafi@umich.edu). All lectures, labs and demonstrations will be on tape that can be watched from a website. Taped labs will be either a demonstration or an experiment. In experiments, MTU students will perform programming, machining, and metrology using state-of-the-art instrumentation. The data acquired in these labs will be handed out to students at UM to make analysis and write a lab report about it. Short essay-type questions will be answered in lab reports for demonstration labs.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: 1, 5, Permission of Instructor

EECS 990. Dissertation/Precandidate.

Computer Science

Instructor(s):

Prerequisites: Election for dissertation work by doctoral student not yet admitted as a Candidate. Graduate standing. (1-8). (INDEPENDENT). May be repeated for credit. This course has a grading basis of "S" or "U." CAEN lab access fee required for non-Engineering students.

Credits: (1-8; 1-4 in the half-term).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: No homepage submitted.

Election for dissertation work by doctoral student not yet admitted as a Candidate.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: No Data Given.

EECS 995. Dissertation/Candidate.

Computer Science

Instructor(s):

Prerequisites: Graduate School authorization for admission as a doctoral Candidate (Prerequisites enforced at registration). (8). (INDEPENDENT). May be repeated for credit. This course has a grading basis of "S" or "U." CAEN lab access fee required for non-Engineering students.

Credits: (8; 4 in the half-term).

Lab Fee: CAEN lab access fee required for non-Engineering students.

Course Homepage: No homepage submitted.

Graduate School authorization for admission as a doctoral Candidate. N.B. The defense of the dissertation (the final oral examination) must be held under a full term Candidacy enrollment period.

Check Times, Location, and Availability Cost: No Data Given. Waitlist Code: No Data Given.


Undergraduate Course Listings for EECS.


Page


This page was created at 6:22 PM on Wed, Jan 21, 2004.


lsa logo

University of Michigan | College of LS&A | Student Academic Affairs | LS&A Bulletin Index

This page maintained by LS&A Advising Technology (webmaster_saa@umich.edu), G255-E Angell Hall

Copyright © 2004 The Regents of the University of Michigan,
Ann Arbor, MI 48109 USA +1 734 764-1817

Trademarks of the University of Michigan may not be electronically or otherwise altered or separated from this document or used for any non-University purpose.