university of michigan college of engineering computer ... · pdf filethe regents of the...

U n i v e r s i t y o f M i c h i g a n C o l l e g e o f E n g i n e e r i n g

College of Engineering

Computer Science and Engineering

2260 Hayward Street

Ann Arbor, MI 48109-2121

ww

w.eecs.um

ich.edu/cse

The Regents of the University of Michigan

Julia Donovan Darlow, Ann Arbor

Laurence B. Deitch, Bingham Farm

s

Olivia P. Maynard, Goodrich

Rebecca McGowan, Ann Arbor

Andrea Fischer Newman, Ann Arbor

Andrew C. Richner, Grosse Pointe Park

S. Martin Taylor, Grosse Pointe Farm

s

Katherine E. White, Ann Arbor

Mary Sue Colem

an, ex officio

The University of Michigan, as an equal opportunity/affirm

ative action employer,

complies with all applicable federal and state laws regarding nondiscrim

ination

and affirmative action, including Title IX of the Education Am

endments of 1972

and Section 504 of the Rehabilitation Act of 1973. The University of Michigan is

comm

itted to a policy of nondiscrimination and equal opportunity for all persons

regardless of race, sex*, color, religion, creed, national origin or ancestry, age,

marital status, sexual orientation, disability, or Vietnam

-era veteran status in

employm

ent, educational programs and activities, and adm

issions. Inquiries or

complaints m

ay be addressed to the Senior Director for Institutional Equity and

Title IX/Section 504 Coordinator, Office for Institutional Equity, 2072 Administra-

tive Services Building, Ann Arbor, Michigan 48109-1432, 734-763-0235, TTY

734-647-1388. For other University of Michigan inform

ation call 734-764-1817.

*Includes discrimination based on gender identity and gender expression.

Photography by Dwight Cendrowski; Lin Jones, U-M Photo Services;

Catharnine June; Mira Lancaster; David Tum

an

and Martin Vloet, U-M

Photo Services

C o m p u t e r S c i e n c e a n d E n g i n e e r i n g

D e p a r t m e n t o f E l e c t r i c a l E n g i n e e r i n g a n d C o m p u t e r S c i e n c e

C o m p u t e r S c i e n c e a n d E n g i n e e r i n g U n i v e r s i t y o f M i c h i g a n C o l l e g e o f E n g i n e e r i n g

Welcome to the new computer Science and engineering Building, home to nearly 45 faculty members who bring to light the diverse ways that computer science touches and improves daily lives. With an intellectual his-tory reaching back to the origins of the field (the first degree in computer and communication Science at U-m was awarded in 1959), faculty continue to explore new areas, illuminating the diverse ways that com-puter science touches and improves daily lives. they are mining the vast store of medi-cal literature to discover new insights into the physical causes of disease and emotional disorders; they are developing new ways of coordinating computer “agents” distrib-uted across the world wide web; and they are reducing the energy needed to power the next generation of computers while at the same time

building ever faster, smaller, and more secure computing systems.

Students take advantage of the full resources of the world-re-nowned University of michigan to enrich their education. they learn to conduct advanced research, work in a global community, start businesses, contribute to the medical field, and even predict how computers can contribute positively to the way we live well into the future.

An explosion of job opportunities is expected for computer science specialists in the next decade. In fact, the U.S. Department of labor predicts computer special-ists to be among the fastest

growing occupations well into the next decade. computer Science and engineering faculty at U-m are educating the next pool of experts who will meet this demand – and they are doing it in a beautiful new, state-of-the-art facility.

the neW compUter Science and engineer-ing Building is already making a difference in the lives of the faculty and students who spend their days in the new facility. Formerly spread out over several build-ings on north campus, they are amazed at the increased opportunities for interaction and collabora-tion that come from their new home, and are finding it to be a remarkable mood-booster as well!

Designed to bring in and reflect light, every office in the building has a window to the outside. It is the ideal environment for faculty and students to collaborate on their bright ideas, some of which are highlighted in this brochure.

entering the building from the first floor, one passes by a piece of computing history, the enIAc (electronic numerical Integrator and computer). the only other significant portion of this first electronic digital programmed com-puter is found in the Smithsonian museum.

the central atrium, tishman hall, offers a view of all four floors of the building, with only glass between much of the space and the outdoors.

Students throughout the college of engineer-ing take advantage of the 100 computer workstations in two new computing labs, relax or study in the commons area and café, and

meet in student learning center rooms on the first floor.

A spectacular four-story spiral staircase winds by lounge areas at each floor, which offer faculty and students a place to mingle and even collaborate with the help of tabletop white boards. established and

impromptu meetings take place in any of the seven conference rooms, including a state-of-the art conference room framed in stained glass specially designed to reflect the curves and angles of the building.

Wireless throughout, the building can be toured with a location aware device that pro-vides information about each lab or office.

come and experience computer Science and engineering at the University of michigan – where faculty and students alike continue to learn, grow and shape the future.

A wAlk throUgh thE CoMpUtEr SCiEnCE AnD EnginEEring BUilDing


Kelley et. al. PNAS(2003)

PathBlast Example

Wnt Frizzled PLC CaN NFAT

CaMKII

PKC

Query: Wnt/Ca2+ Signaling

KEGG id: 04310hsa

PLC IP3R

CALM

CaN NFAT

CaMKII

PKC

Match: Calcium Signaling

KEGG id: 04020hsa

comBInIng expertISe In databases with an interest in biological systems, professors h.V. Jagadish and Jignesh patel are devising ways to query massive biological databases to uncover molecular and genomic relationships that may suggest certain diseases or disorders. professor Jagadish heads the computer and Informa-tion Science core of the national center for Integrative Biomedical Informatics, which brings together an extensive interdisciplinary team of doctors and scientists from a wide variety of fields. this database system based on xml (extensible markup language) has many potential applications, one of which is the analysis of the massive volume of data related to diabetes.

professor patel’s novel search algorithm, SAgA, has already deter-mined a Wnt/calcium signaling relationship that may have reper-cussions in the study of bipolar disorder. the secret to its success is SAgA’s ability to find approximate, as well as exact, matches of entities. the bioinformatics tools developed at U-m mark important progress toward predictive, personalized and preventive health care for better patient outcomes and a more cost-effective healthcare system.

BioinforMAtiCS

“ Y o u r g e n e r o u s g i f t s e n -

a b l e d u s t o b u i l d t h i s

f a c i l i t Y , w h i c h w i l l a t -

t r a c t t h e c o o l e s t a n d

b r i g h t e s t e n g i n e e r s .

a s t h e Y w o r k h e r e ,

c h a l l e n g e d Y e t c o m f o r t -

a b l e , t h e Y w i l l l e a r n

s k i l l s a n d w a Y s o f

t h i n k i n g t h a t w i l l e n a b l e

t h e m t o m a k e t h e n e x t b i g

d i s c o v e r i e s i n c o m p u t e r

s c i e n c e a n d e n g i n e e r i n g . ”

— k e v i n o ’ c o n n o r ,

c o - c h a i r ,

,

“ c e l e b r a t i n g c s e , ”

o c t o b e r 2 0 , 2 0 0 6

Celebrating CSE october 20, 2006

“[students] will learn skills and waYs of thinking that will enable them to make the next big discoveries in computer science and engineering”

— kevin o’Connor, Co-Chair progress & promise: 150th Anniversary Campaign

“i still get a smile on mY face each morning as i come in, and recognize how luckY i am to work in such an environment.”

— Martha pollack Associate Chair for Computer Science and Engineering

SAgA reveals Wnt/calcium signaling relationship

No previous method can detect this match.


Fabricated chips

are tested in one of

the two testing labs

in the CSE Building.

A prototype chip de-

signed with the new

technology

Razor achieved a

50% energy savings

at 120 MHz over

the worst-case by

operating at a 0.1%

error rate.

Ultra-low power Computing

WIth neArly eVery imaginable communication device going portable, and large computing data centers using as much energy as a city of 40,000, running microprocessor chips with ultra-low power is becoming critically important. Faculty in the Advanced computer Architecture lab (AcAl) are developing novel mechanisms for building computers that run at a fraction of the energy levels of today’s computers. professors todd Austin, David Blaauw, and trevor mudge devised a new technology called razor, which allows chips to adjust dynamically to their surroundings, resulting in an overall reduction in power usage. professor Scott mahlke’s research on automatic methods for constructing highly customized, but programmable processors enables high-performance in low-power systems. professor mudge and mahlke’s project named SoDA (Signal-processing on-Demand Architecture) reflects a leap forward in programmable chips for software defined radio (SDr), also saving time, money, and energy while adapt-ing to different wireless protocols. professor marios papaefthymiou is achieving ultra-low power computing by recycling energy within the chip itself. these circuits are proving to be highly resilient as well as adaptive to changing environments.

roBUSt CoMpUtingFAcUlty In the Advanced computer Architecture lab are not only designing silicon chips that will operate anywhere with very little energy, they are also building chips that can continue to func-tion accurately in the face of undetected design errors and even minor damage or failures after manufacturing. these errors cost money, and in safety-critical systems, even lives, yet are becoming more common as silicon technologies move into the nanometer range. professors todd Austin, Valeria Bertacco, and Karem Sakal-lah are working hard to ensure the reliability of these tiny chips. professor Sakallah is developing scalable methods to formally verify the correct behavior of complex hardware and software systems before they leave the lab to be manufactured. professors Austin and Bertacco are exploring a variety of cost-effective ways to preserve the integrity of the chip despite bugs that creep into them post-manufacturing, including BulletProof pipelines, and field-repairable control logic.


WIth mUch oF the world’s population moving into their senior years, and a correspondingly lower percentage of younger folks to care for them, professor martha pollack is excited to discover ways to employ artificial intelligence to help them live longer, more independent lives. her lab, one of twelve in the cSe Building, emulates a home environ-ment, with the important addition of multiple sensors that provide

feedback about ordinary activities occurring in the lab. If the individual has forgotten an activity, such as food cooking on the stove, this information will be detected and the cook will be reminded to tend the stove. If they forget to take their pills, this deviation from their daily plan will also be sensed, and corrected in a way that allows for a rea-soned approach about whether and when to issue reminders. prof. Satinder Singh Baveja adds his expertise in reinforcement learning (rl) to devise a system that can adjust to complex and changing en-vironments. created for the elderly, many of whom experience some degree of cognitive decline in their advanced years, this system also has important applications for those of any age suffering from traumatic brain injury.

ASSiStivE tEChnology:

Cognitive orthotics for the Elderly

Sensors in Professor

Martha Pollack’s lab

correctly detect when

the coffee maker is in

use. In real life, if an

accident occurrs, or

the machine is used

incorrectly, the system

will alert the user.

Handheld devices,

pictured below, are

used to gently remind

the individual when

appointments or im-

portant activities are

missed.

MoBilE loCAtion-AwArE CoMpUting

cAn yoUr lAptop or other mobile device find more bytes on demand, while it adapts to changing wireless protocols? how secure is your Blackberry® or other portable digital de-vice from physical theft, or identity thieves? lost in a confusing maze of corridors on your way to an important appointment? cSe faculty Jason Flinn, Brian noble, and Atul prakash are providing solutions to these issues. professor Flinn’s Sling-shot project aims to augment the computing power of small wireless handheld devices on the road. professor noble’s mobility group is working to keep your mobile device operational in different networking environments, while protecting a user’s privacy. In the Where-abouts project, professor prakash and research programmer Scott gifford have created an electronic tour guide of the new cSe Building that identifies where the user is in the building, and provides relevant information. With the device fully operational, attention is now turned to other issues related to location-aware computing, such as sharing and managing location-related information, and enabling collaborations among individuals.

In front of the office of Professor

Atul Prakash (right), the location-

aware handheld device correctly

identifies the location, and offers

links to additional information.


proFeSSor mIchAel WellmAn is preparing for the future of electronic trading. In the flexible electronic marketplaces of tomorrow, buyers and sellers will be faced with myriad trading opportunities, and options to construct complex deals with multiple parties. the traders will employ autonomous software agents to manage the negotiation process. to explore this new era of automated trading, Wellman’s research group launched a trading Agent competition (tAc) in 2000, inviting research groups to develop agents for challenging market scenarios. tAc has grown to be an annual international competition. cSe student teams Deep maize and Walverine, coached by Wellman, excel in the competition, and continue to explore new ways of applying artificial intelligence to electronic commerce.

Professor Michael

Wellman’s team, Deep

Maize, is shown compet-

ing with entrants from

Germany and Texas on a

supply chain in TAC 2006,

the international Trading

Agent Competition.

proFeSSorS John hAyeS, Igor markov, and yaoyun Shi are advanc-ing the state-of-the-art in quantum computing, still a novel technology in its early stages of development. Simulators are invaluable tools in further-ing progress in a new technology, yet difficult to build for a technology that is still being developed, such as quantum circuits. hayes, markov, and graduate student george Viamontes developed a high-performance quantum circuit simulator for this purpose, called Quantum Information Decision Diagram (QuIDDpro). QuIDDpro is currently used in national laboratories and universities throughout the world. professors hayes and markov are also conducting significant research in the emerging field of quantum design automation. meanwhile, professor Shi is address-ing fundamental theoretical questions in quantum computation, such as which types of problems can quantum computers solve extremely fast, and whether it is possible to construct cryptography protocols that even quantum computers cannot break. through their work, the Quantum circuits group is helping determine the future course of quantum technology.

QU

An

tU

M C

irC

Uit

S g

ro

Up

From left: Profes-

sors John Hayes,

Igor Markov, and

Yaoyun Shi lead the

Quantum Circuits

Group at U-M.

trading Agents for eCommerce


Arbor networks

FoUnDeD In 2000 by professor Farnam Jahanian and g. robert malan (mSe cSe ’96, phD ’00), Arbor networks markets unique network security solutions that detect network anomalies and defend against a wide range of Internet threats including botnets, worms, denial-of-ser-vice attacks and data theft. their award-winning peakflow® products are used by companies around the globe, including At&t, British telecom and cisco. Arbor was recently named one of the 20 fastest growing companies in north America by Deloitte & touche and received the prestigious 2006 Security product of the year Award from techworld.

CSE faculty transfer

more than superior

technology when their

innovations move from

the lab to the market-

place. they also transfer

security, entertainment,

and opportunity.

tECh trAnSfErS: MorE thAn tEChnology

Zattoo

“it’s what you wished when you blew out the candles”

FoUnDeD In 2005 by professor Sugih Jamin and a couple of friends, Zattoo allows Internet broadcasts of cable television programming. currently available only outside the U.S., it’s just a matter of time until folks everywhere can watch tV wherever their laptops can go. As the company says, “get Zattooed.”

Zattoo made its Internet debut in Switzerland

earlier this year with broadcasts of the 2006

soccer world championship. Jamin, pictured

here, anticipates Zattoo creating a global virtual

cable company.

goknow learning, inc.

FoUnDeD In 2001 by professor elliot Soloway, goKnow markets handheld computers with specially designed software with the purpose of making technology an effective tool in the class-room. Its success has recently been measured quantitatively in a two-year scientifically-based research study, which showed rising scores in math and science for participating classrooms. “It’s all about hope and opportunity,” said Soloway. “the opportunity to write, to think, to share, to learn and to succeed.”

GoKnow Learning, Inc. licenses some products

initially developed at U-M in the Center for Highly-

Interactive Computing in Education (HI-CE).

Professor Farnam

Jahanian (left),

co-founder and

chairman of the

board, and CSE

alumnus G. Robert

Malan (right),

co-founder and

chief technology

officer, beside Arbor

Networks’ award-

winning Peakflow

network security

products.


innovAtivE UnDErgrADUAtE EDUCAtion

cSe FAcUlty memBerS design courses that allow students to take charge of their education as they create unique final projects of their own design. First-year students may opt to take professor peter chen’s newly-designed course, microprocessors and music. here, four-person teams build a music synthesizer in just one term, and in the process taste the substance and excitement of computer engi-neering. Students have included creative features such as record/playback, graphic visualization, polyphonics and games in their designs.

this emphasis on experiential learning carries all the way through the curriculum to senior-level courses like professor John laird’s computer game Design. In this course, students study the technology, science and art involved in the creation of computer games, and ultimately create a fully functional game that they can play on their own computer with friends. one student who took this course has already worked on several movies, including the recent children’s film, Over The Hedge, and another is working on the computer game “Spore,” which promises to be one of the most revolutionary computer games of all time.

from Microprocessors and Music to Computer game Design

Two students

play the game

“Gamma Ball,”

created in

Professor Laird’s

one-semester

Computer Game

Design course.

tEAM AwArDS Windows CE Shared Source Contest — A three- person team consisting of cSe graduate students Zhi-gang chen and xin hu, and cSe research programmer Scott gifford won first place in the inaugural Windows ce Shared Source contest, with their location sensing project, “Smart cameras for Smart conference rooms.”

IEEE Programming Challenge — cSe graduate students Kai-hui chang and David papa co-authored the winning program in the first Ieee programming chal-lenge at the 2006 International Workshop on logic and Synthesis (IWlS). their software will be included in the next release of the open-source oA gear package from cadence Berkeley laboratories.

CADathalon — cADathon, the premier programming competition sponsored by Acm SIgDA, has been a showcase for U-m talent, with cSe students being mem-bers of the winning team three out of the past five years.

inDiviDUAl honorS graduate student ed nightingale was recently named a microsoft research Fellow—one of only 22 in the country.

tucker Berckmann, a 2005 graduate, was awarded a Fulbright Fellowship to spend a year studying in germany.

Award-winning Students

David Papa (left) and

Kai-Hui Chang

Wireless sensors detect

sound, and infer the

location of the person

speaking.

competItIon teStS the strength of our abilities and the quality of our programs, while teamwork teaches students to work together in today’s global economy. cSe’s record of student involvement and achievement shows U-m to be among the best in both areas. here are just a few recent examples:

Tucker Berckmann in front of the

Rathaus (City Hall) on Marienplatz

in Munich.


CSE Alumni lead the way

Michigan

attracts many of the

best students in the

country. whether

they graduate with a

bachelor’s degree,

master’s degree, or

phD, they make the

best of their

Michigan experience,

and proceed to invent

technologies that

touch the lives of

millions.

Julie Anne Brame David DeWitt Usama FayyadTony Fadell Nancy Gilby Bill Joy

For more thAn half a century, michigan has been educating the future leaders of computer science and engineering. From here, they go on to educate the next generation, become leaders in industry, and start their own companies – transforming the world in which we live. here are just some of our wonderful alumni:

James Blinn (mSe cIce ’72), graphics research group at microsoft, helped define the art and science of computer graphics. he created the computer graphics for the carl Sagan pBS series, coSmoS, and the Voyager Fly-by animations to depict space missions to Jupiter, Saturn and Uranus.

Julie Anne [Mayfield] Brame (BS cS ’01) works for Dreamworks Animation in the area of effects animation and development. She is listed in the credits for Over the Hedge (may 2006) and Flushed Away (november 2006).

John Seely Brown (phD ccS ’72), co-founder of the Institute for research and learning and author of The Social Life of Information, served as chief scientist at xerox and director of its palo Alto research center (pArc).

David DeWitt (mSe cIce ’71, phD ’76), University of Wisconsin professor, is a leader in the field of parallel database systems, database system benchmarking, and object-oriented databases.

Tony Fadell (BSe ce ’91), senior vice president of Apple computer’s ipod Division, is responsible for creating the six generations of Apple ipod digital music device, including the ipod nano. prior to joining Apple, he started several businesses, including constructive Instruments with professor Soloway, and ASIc enterprises, Inc. — both while still a student at U-m.

Usama Fayyad (BSe ce and ee ’84, mSe cSe ’86, phD ’91), chief data officer and senior vice president of research & Strategic Data Solutions at yahoo!, is an expert in data mining and analysis. he co-founded the Dmx group and digimine Inc. before joining yahoo!.

Nancy Benovich Gilby (BSe ce ’85, mSe cSe ’87), vice president of product engineering for SnApin, is an expert at company and market development. She was co-founder and ceo of pocketthis, and co-founder of marketSoft. her business techniques have been used as case studies at harvard Business School.

John Holland (phD ccS ’59), University of michigan professor of electrical engineering and computer Science, and psychol-ogy, is known worldwide as the father of genetic algorithms, a research discipline described in his groundbreaking book, Adaptation in Natural and Artificial Systems (1975,1992). he received the first phD in computer science at michigan.

Bill Joy (BSe ce ’75, Deng hon. ’04), co-founder of Sun microsystems, transformed the Internet with his design of a new version of UnIx. he then produced Java, an invaluable tool for web programming.

Thomas Knoll (mSe cIce ’84) unleashed a new world of graphic design and artistry when he developed the program photoshop, which grew from a program he created while still a student at U-m.

John Koza (phD ccS ’73) is a pioneer and expert in genetic programming, and co-founder of Scientific games, Inc., which built computer systems to run state lotteries. his “invention machine” of 1,000 networked computers creates computer-generated code superior to the initial human-generated code, and was itself awarded a patent.

G. Robert Malan (mSe cSe ’96, phD ’00) is co-founder and chief technology officer of Arbor networks recently recognized by Inc. magazine as the 9th fastest-growing private company in America.

Kunle Olukotun (BSe ee ’85, mSe cSe ’87, phD ’91), Stanford University professor, invented the chip multiprocessor concept (cmp), and founded Afara, which was later purchased by SUn.

Carl Page (BSe ce ’86, mSe cSe ’88), co-founder and chief technology officer of handheld en-tertainment, was an Internet success though his company egroups, which he co-founded in 1997. egroups developed into a network of 14 million users before it was acquired by yahoo! page has turned his interest to alternative energy sources – especially for automobiles – an interest shared by his brother larry and the University of michigan.

Larry Page (BSe ce ‘95) co-founder and president, products of google, Inc., solved the problem of finding relevant data in the vast cyberspace of the Internet. google, in partnership with the U-m library, is revolutionizing data access for all researchers, and is expanding the company here in Ann Arbor.

Jennifer Rexford (mSe cSe ’93, phD ’96), princeton University professor, has done ground-breaking work on Internet traffic engineering and Border gateway protocol (Bgp) analysis and configuration.

Avi Rubin (BS cS ’89, mSe cSe ’91, phD ’94), professor and technical Director of the Information Security Institute at Johns hopkins University, is an expert in systems and networking security. he recently published the book, Brave New Ballot: The Battle to Safeguard Democracy in the Age of Electronic Voting.

Daniel Siewiorek (BSe ee ’68), professor and director of the human-computer Interaction Institute at carnegie mellon University, is known for his seminal contributions to object-oriented programming languages, and more recently for his fundamental contributions to wearable and context-aware computing.

Michael Stonebraker (mSe ee ’66, phD cIce ’71), Uc Berkeley professor, is a pioneer and expert in relational database research and development. he founded four companies.

Thomas Knoll Kunle Olukotun Carl Page Jennifer RexfordLarry Page Avi Rubin


Ackerman, Mark. Associate Professor Human-Computer Interaction and collabora-tive systems, or how systems can be more usable for people and groups of people.

Atkins III, Daniel E. Professor Human Computer Interaction; IT-enabled scientific collaboratories; cyberinfrastructure.

Austin, Todd. Associate Professor Inventing ways to build computers that are faster, cooler, cheaper and more reliable.

Baveja, Satinder Singh. Associate Professor Reinforcement learning, machine learning, computational game theory, adaptive Human Computer Interaction.

Bertacco, Valeria. Assistant Professor Formal and semi-formal design verification with emphasis on full design validation and digital system reliability.

Blaauw, David. Associate Professor Low-power and high-performance VLSI design, analysis and optimization.

Boyapati, Chandrasekhar. Assistant Professor Software reliability, which spans the spec-trum from programming languages, through program analysis, to software engineering.

Brehob, Mark. Lecturer Caches and locality, embedded systems, performance simulation techniques.

Chen, Peter. Professor Operating systems, computer security, and fault-tolerant computing. Current research applies virtual machines to computer forensics and security.

Chesney, David R. Lecturer Software engineering, socially relevant computing, K-12 applications of computer science.

Compton, Kevin J. Associate Professor Theory of computation, complexity of combinatorial and logical problems, analysis of algorithms, automata theory.

Dorf, Mary Lou. Lecturer Engineering education. Women in engineering.

Durfee, Edmund H. Professor Artificial intelligence techniques to coordi-nate activities within teams of diverse agents operating in time-critical, uncertain worlds.

Flinn, Jason. Morris Wellman Faculty Development Assistant Professor Software systems for pervasive computing and novel storage architectures that provide consistency and reliability without compromising performance.

Guskov, Igor. Assistant Professor Computer graphics and data compression.

Hayes, John P. Claude E. Shannon Professor of Engineering Science Computer-aided design, verification and testing; VLSI circuits; fault-tolerant and distributed systems; ad-hoc computer networks; quantum computing; computer architecture.

Hero III, Alfred. Professor Statistical inference and modeling for high dimensional datasets. Application areas include: bioinformatics, remote sensing, medical imaging, network tomography and topology discovery.

Jagadish, H.V. Professor Through XML, integrating and managing information in a usable way from multiple data sources, including text, with emphasis on biomedical data.

Jahanian, Farnam. Professor The study and design of networked systems and applications with an emphasis on scal-ability, availability and security.

Jamin, Sugih. Associate Professor Internet protocol and architecture, video streaming, computer games, secure mobile phone applications

Kaplan, Stephen. Professor Identifying human needs for certain kinds and patterns of information that could be used to bring out the best in people.

Kieras, David E. Professor Human-computer interaction, user interface design, human cognition and performance, natural language processing.

Ladd, Andrew. Assistant Professor Robotics, in particular, the development of motion planning algorithms for mobile robots with non-trivial dynamics, and loca-tion-award computing.

Lafortune, Stéphane. Professor Discrete event systems: modeling, verification, diagnosis, control, optimization; applications to computer systems and networks.

Laird, John. Professor Cognitive architecture: the computational structures underlying the mind – informed by research on artificial intelligence, psychology, and brain science.

Liu, Mingyan. Associate Professor Performance modeling, analysis, energy-efficiency and resource allocation issues in wireless, mobile ad hoc and sensor networks.

Mahlke, Scott. Associate Professor Design of application-specific computer systems, compiler technology for high-per-formance systems, high-level synthesis.

Mao, Z. Morley. Assistant Professor Wide-area networks and systems. Internet routing security and performance. Network monitoring and measurements, trouble-shooting and management, security and forensic analysis.

Markosian, Lee. Assistant Professor 3D graphics, sketch-based interfaces, non-photorealistic rendering.

Markov, Igor. Associate Professor Logic circuits for conventional and quantum information. Algorithms for circuit synthesis, verification and layout. Search and optimiza-tion: Satisfiability, block packing, graph partitioning.

Mazumder, Pinaki. Professor Nanoscale CMOS and Quantum Electronic Circuit Design, CAD Tools for Nanoscale Circuits; Semiconductor Memory Testing and Fault-tolerance; VLSI layout automation.

Mudge, Trevor. Bredt Family Professor of Engineering Developing novel mechanisms for building computers that run at a fraction of the energy levels of today’s computers.

Noble, Brian. Associate Professor Software supporting mobile computing sys-tems, including networking, infrastructure, and end-system concerns.

Papaefthymiou, Marios. Professor Energy-efficient VLSI systems, computer-aid-ed design, design and analysis of algorithms.

Patel, Jignesh. Associate Professor Designing, implementing, and deploying scalable methods for querying and mining large biological and spatial databases.

Pettie, Seth. Assistant Professor The design and analysis of algorithms and data structures, advanced models of com-putation, combinatorics and graph theory.

Pollack, Martha. Professor and Associate Chair Artificial intelligence, especially plan genera-tion, plan management, temporal reasoning, constraint satisfaction processing, and applications of AI to assistive technology.

Prakash, Atul. Professor Groupware systems, security, middleware, adaptibility in distributed systems, software engineering.

Radev, Dragomir R. Associate Professor Graph algorithms, semi-supervised machine learning, natural language processing, information retrieval, lexical networks, and applications to bioinformatics, political science, and webometrics.

Rounds, Bill. Professor Natural language formalisms, domain theory, concurrency, and hybrid systems.

Sakallah, Karem. Professor Development of scalable formal meth-odologies to help hardware and software developers effectively debug and verify the correctness of their designs.

Shi, Yaoyun. Assistant Professor Theory of computation and quantum information processing.

Shin, Kang G. Kevin and Nancy O’Connor Professor of Computer Science Wired and wireless networking, especially QoS issues; embedded real-time systems, emphasizing small OSs and sensor network protocols and security; secure fault-tolerant system design and analysis.

Soloway, Elliot. Arthur F. Thurnau Professor How to effectively design computing and communications-based technologies to support learners of all ages.

Stout, Quentin F. Professor Parallel- and super-computing (applications, performance analysis, abstract models), adaptive statistical designs (especially clini-cal trials), algorithms.

Strauss, Martin J. Assistant Professor Algorithms for massive data sets; signal processing and and computational harmonic analysis; computer security and cryptogra-phy; complexity theory.

Teneketzis, Demosthenis. Professor Stochastic control, scheduling and resource allocation; decentralized stochastic systems; communication and queueing networks; discrete event systems; mathematical economics.

Wakefield, Gregory H. Associate Professor Spectral estimation theory, array processing, speech coding, music processing.

Wellman, Michael. Professor Artificial intelligence with application to electronic commerce, especially strategic reasoning and automated trading in electronic markets.

Abney, Steven. Associate Professor Natural language processing, machine learning.

Adamic, Lada. Assistant Professor Information diffusion in the blogosphere. Information scatter and search engine cov-erage. Strength of ties and social network properties.

Atkins, Ella M. Associate Professor Integrated task and motion planning for aircraft, spacecraft, and planetary surface missions. Damage-adaptive flight manage-ment, airspace deconfliction, onboard orbit optimization.

Furnas, George W. Professor Human computer interaction, advanced techniques for information access, multi-scale information visualization, graphical computing.

Holland, John H. Professor Cognitive processes and complex adaptive systems, using mathematical models and computer simulation.

Honeyman, Peter. Research Professor Computer security, file systems and mobile computing.

Kirsch, Ned. Associate Professor Artificial intelligence, assistive technology.

Munson, Jr., David C. Professor and Robert J. Vlasic Dean, College of Engineering Signal and image processing, fast algo-rithms for image reconstruction in synthetic aperture radar and computer tomography.

Polk, Thad. Associate Professor Computational and cognitive neuroscience. computers that run at a fraction of the energy levels of today’s computers.

fACUlty AffiliAtED fACUlty


university of michigan college of engineering computer ... · pdf filethe regents of the...

Documents