TribLIVE

| News

 
Larger text Larger text Smaller text Smaller text | Order Photo Reprints

Newsmaker: Edmund M. Clarke

Email Newsletters

Click here to sign up for one of our email newsletters.
Newsmaker: Edmund Clarke, who directs the Computational Modeling and Analysis of Complex Systems project at Carnegie Mellon. He was named an Einstein professor for 2013 by the Chinese Academy of Sciences.

'American Coyotes' Series

Traveling by Jeep, boat and foot, Tribune-Review investigative reporter Carl Prine and photojournalist Justin Merriman covered nearly 2,000 miles over two months along the border with Mexico to report on coyotes — the human traffickers who bring illegal immigrants into the United States. Most are Americans working for money and/or drugs. This series reports how their operations have a major impact on life for residents and the environment along the border — and beyond.

Wednesday, Feb. 6, 2013, 12:01 a.m.
 

Edmund M. Clarke

Noteworthy: The Chinese Academy of Sciences named Clarke, a Carnegie Mellon University professor, an Einstein Professor for 2013. Clarke will visit the Suzhou Institute for Advanced Study of the University of Science and Technology of China this year. He later will host a Chinese scholar for several months at Carnegie Mellon.

Age: 67

Residence: Mt. Lebanon

Occupation: Clarke is professor of computer science and electrical and computer engineering at CMU, and director of the Computational Modeling and Analysis of Complex Systems project sponsored by the National Science Foundation.

Background: Clarke is a pioneer in the field of model checking, an automated method for finding design errors in computer hardware and software. He was inducted into the National Academy of Engineering in 2005 and the American Academy of Arts and Sciences in 2008.

Education: Bachelor's degree in mathematics, University of Virginia, 1967; master's degree in mathematics, Duke University, 1968; doctorate in computer science, Cornell University, 1976

Quote: “It's a great honor for me to be invited to do this. Some of my very best Ph.D. students are Chinese, and they often stay after completing their studies and contribute to the economy here.”

— Craig Smith

Subscribe today! Click here for our subscription offers.

 

 


Show commenting policy

Most-Read Allegheny

  1. Developers share their vision for Garden Theater block on North Side
  2. Pittsburgh airport improvements noted as CEO tries to expand activity
  3. National Night Out ‘a start’ for violence-prone Homewood
  4. Volunteer tutors boost adult literacy in Allegheny County
  5. Carnegie Museum of Natural History’s banding program a labor of love for avian expert
  6. Allegheny County Council candidates chosen for District 11 ballot
  7. Downtown Macy’s building to lose OASIS to closer parent organization
  8. Newsmaker: Harry J. Gruener
  9. Author of Americans with Disabilities Act celebrates its effects in Carnegie
  10. Roman Catholic Church in midst of culture clash over gays
  11. East Liberty man arrested in connection with Larimer shooting