CSE News for 2001
EECS 598-02 Randomized Computation
Term Paper/Final Project: 50%
For more up-to-date information, please visit: http://www.eecs.umich.edu/~satyalv/rand/
EECS 598-07 Nonlinear Fiber Optical Devices
EECS 598 SECTION 7
Golden Apple Award to Elliot Soloway
Congratulations to Professor Elliot Soloway who is this year's recipient of the Golden Apple Award sponsored by Students Honoring Outstanding University Teaching (SHOUT).
The Golden Apple Award honors those teachers who consistently teach each lecture as if it were their last, and strive not only to disseminate knowledge but to inspire and engage students in its pursuit.
Approximately 520 students nominated various professors for the Golden Apple Award this year. Students of Professor Soloway who sent in nominations agreed with his philosophy on teaching and said they were inspired by him.
The concept of the Golden Apple Award was inspired by one of the greatest teachers of the Jewish tradition, Rabbi Eliezer ben Hurkanos, who taught 1900 years ago, "Get your life in order one day before you die." The Award is an annual reminder to the entire University that all of us should always be giving our "last lectures."
In honor of winning the Golden Apple Award, Professor Soloway will give his "ideal last lecture" January 22 at the Lydia Mendelssohn Theater and be awarded $1,000 cash.
Distinguished Dissertation Awards
I am happy to announce that the University of Michigan Lucent Technologies distinguished dissertaion awards in the area of Mathematical SystemScience have been awarded to the following students:
Christopher Lott, "Optimal Resource Allocation and Routing in Wireless Networks," Advisor D. Teneketzis, Winter 2001.
Navin Kashyap, "Data Synchronization with Timing," Advisor, D. Neuhoff, Fall 2001.
Each student will recieve a certificate and a check for $500.00.
Congraulations to Christopher and Navin, and to their advisors!
EECS 684: Query Processing Techniques in Mobile and Distributed Database Systems
Database systems have come along a long way since their inception in the 1970s. Database Management Systems (DBMSs) have been widely successful and are the heart of most information management system. However, there are a number of significant challenges that future DBMSs must meet if they are to continue playing the center role in information processing and management. We are on the verge of a new revolution in ubiquitous computing in which zillions of devices, ranging from small personal digital assistants (PDAs) to “invisible” embedded devices, will demand answers to queries under a wide range of system conditions. These devices will rely on a distributed backend infrastructure to deliver the query results. The data sets in the back-end systems are growing at astonishing rates, demanding scalable distributed data management techniques. Furthermore, the data sets are increasingly complex, and are not limited to the alphanumeric data types, that relational DBMS have proven so effective at managing. Database query processing and database storage techniques that exist today fall far short of meeting the demands of these future systems. What then are the techniques that will deliver this new world to us? This is the question that we will explore in this course. The course will focus primarily on query processing and query evaluation techniques that are likely to be applicable in mobile and distributed database environments of the future.
John J. Carey, Emeritus Professor
John Joseph Carey, Emeritus Professor of the Department of Electrical Engineering and Computer Science, has passed away November 10, 2001, at the age of 89. Professor Carey was born in Boston, and received his B.S. and M.S. degrees in Electrical Engineering from MIT in 1934 and 1953. From 1934-41, he worked on the Panama Canal, serving with the Panama Canal Department as Associate Electrical-Mechanical Engineer. He then joined an engineering firm in Boston. He was a Captain in the U.S. Army from 1942-45, serving in the Corps of Engineers 1943-45, and he was awarded the Campaign Star in 1944. During 1945-46, Prof. Carey taught at the Universities of New Mexico and Kansas. In 1946 he was appointed Assistant Professor of Electrical Engineering at the University of Michigan; he was promoted to Associate Professor in 1948 and to Professor in 1957. Prof. Carey retired in 1972. While at the University of Michigan, Prof. Carey was co-director of the Power Systems Laboratory, and taught courses in power systems analysis, electro-mechanical energy conversion, engineering economics, and circuits. He also taught courses in power systems for employees of the Consumers Power Company, the Commonwealth Associates, and the Detroit Edison Company. Throughout his career at Michigan, Professor Carey demonstrated unique capabilities as a teacher, researcher, and consultant in electric power systems and energy conversion. Prof. Carey also gave generously of his time and talents to administrative and University-wide committees. He was very active in the Michigan Society for Professional Engineers, for which he was a past president, and the American Institute of Electrical Engineers; he was also a member of Sigma Xi, Eta Kappa Nu, and IEEE. Prof. Carey spent 10 weeks in India, where he had been stationed in the Army, in 1965 working on curriculum issues under the sponsorship of the Government of India and U.S. Aid. Upon his retirement, Prof. Carey was a frequent consultant in product liability and personal injury lawsuits. Prof. Carey is survived by his wife, Grace; their children, John Jr., Sharon, and Karen; six grandchildren; seven great-grandchildren; one sister Louise; and 16 nieces and nephews. The Department of Electrical Engineering and Computer Science offers its condolences to the family, friends, and colleagues of John Joseph Carey, and expresses its gratitude for his 26 years of distinguished service to the University of Michigan.
EECS 578: Computer-Aided Design Verification of Digital Systems
Instructor: Professor Karem Sakallah, 2213 EECS, firstname.lastname@example.org, 936-1350.
Time and Place: TT 10:30-12:00, 3437 EECS
Credit Hours: 3
Prerequisites: EECS 478 and graduate standing
Overview: In this course we explore how large complex digital systems are verified to ascertain their functional and temporal correctness. Students who enroll can expect to gain proficiency in state-of-the-art informal as well as formal approaches to verification of large-scale systems. Many of these techniques, and the insights that inspired them, can also be adapted to the verification of other large-scale systems, e.g. complex software. Hands-on experience with a variety of verification tools (equivalence checkers, model checkers, SAT solvers, symbolic simulators, etc.) is an integral part of the course.
Catalog Description: Design specification vs. implementation. Design errors. Functional and temporal modeling of digital systems. Simulation vs. symbolic verification techniques. Functional verification of combinational and sequential circuits. Topological and functional path delays; path sensitization. Timing verification of combinational and sequential circuits. Clock schedule optimization.
Design verification overview; design errors; specification vs. implementation; interfaces.
Functional and temporal modeling of digital systems at various abstraction levels.
Simulation at the gate, register transfer and behavioral levels; Verilog HDL
Symbolic manipulation of Boolean functions; ordered binary decision diagrams.
Circuit satisfiability; conjunctive normal form. Davis-Putnam algorithm and extensions.
Functional verification of combinational circuits; simulation-based; symbolic; formal.
Functional verification of sequential circuits; simulation-based; symbolic; formal.
Timing verification of combinational circuits; topological and functional path delays.
Timing verification of sequential circuits; clock schedule optimization.
Course Assignments and Grading:
Written homework assignments (3 to 4): 30%
Classroom participation: 30%
Term paper/project: 40%
Henry Russel Award Goes to Prof. Clark Nguyen
I am delighted to announce that Clark Nguyen is the 2002 Henry Russel Award winner. This University of Michigan award is given on the basis of "distinguished scholarship ... and conspicuous ability as a teacher." It is a richly deserved honor!
Professor Kang Shin Awarded O'Connor Chair
Professor Kang Shin was awarded the first Kevin and Nancy O'Connor Professor of Computer Science Chair.
CITI Research Appears in New York Times
Research conducted by Dr. Peter Honeyman from CITI, and one of our graduate students, Niels Provos, is discussed in the following New York Times article. Additional information on the steganography research at UM may be found at: abc.html and faq.html
National Research Council - News Release
Please find the attached news release (pdf format) announcing the National Research Council - 2002 Postdoctoral and Senior Research Associateship Programs.
Elliot Soloway's research on hand-held computers
Professor Elliot Soloway's research on hand-held computers appears in the Detroit News.
The e-commerce of the future
Tech teams gather to compete in designing the e-commerce of the future. Professor Mike Wellman led the effort at Michigan to design the game and the school hosts the servers. See complete article
Professor Steve Reinhardt wins Joel Spira Teaching Award
Professor Steve Reinhardt is this year's recipient of the ASEE's Joel Spira Teaching Award which focuses on outstanding classroom performance, recognizes teachers of engineering and engineering technology students and serves as an incentive to make further significant contributions to teaching.
William G. Dow Distinguished Lecture
SPEAKER: Dr. Robert W. Lucky
RECEPTION FOLLOWING THE LECTURE
See this news article in Education Week for discussion of the work being done by Dr. Soloway.
Prof. Kang Shin awarded the 2001 Distinguished Faculty Achievement Award
Professor Kang Shin was awarded the 2001 Distinguished Faculty Achievement Award from the University this year.
Keeping Up in Class With Software for a Hand-Held
Elliot Soloway has been mentioned in an article entitled "Keeping Up in Class With Software for a Hand-Held" and is in the NY Times. In addition, a second article for Dr. Soloway, Debating Merits of Palms in Class appeared in Wired News.
Professor Peter Chen awarded the 2001 Amoco Undergraduate Teaching Award
Professor Peter Chen was awarded the 2001 Amoco Undergraduate Teaching Award for his exceptional contributions to undergraduate teaching at the University of Michigan.
Using a Computer Game to Develop Advanced AI
Appeared in Computer Magazine, July's issue: Laird, J. E. (2001b) Using a Computer Game to Develop Advanced AI, Computer, 34(7), July 2001, pp. 70-75.
Interactive Computer Games: Human-Level AI's Killer Application
Appeared in AI Magazine # 22 Laird J.E. and Van Lent, M. (2001) Interactive Computer Games: Human-Level AI's Killer Application, AI Magazine, 22(2), 15-25.
Palm pilots and Education
Elliot Soloway's work with palm pilots and education
appears in Business Week
Palm Computers and Kids
Professor Elliot Soloway's work with palm computers and kids appears in:
Computer Science Gaming Courses
Computer Science Gaming Courses makes the Joystick 101.org News