TribLIVE

| News


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

Newsmaker: Edmund M. Clarke

About The Tribune-Review
The Tribune-Review can be reached via e-mail or at 412-321-6460.
Contact Us | Video | Photo Reprints
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.

By The Tribune-Review

Published: 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

 

 
 


Show commenting policy

Most-Read Allegheny

  1. Man found fatally shot in Larimer a mile away from Homewood peace march
  2. South Fayette mother wants case against bullied son to be dropped
  3. South Fayette parents express dissatisfaction with handling of bullying
  4. Officials ID Elizabeth Township man as West End train victim
  5. Obama hopes to replicate CCAC job training efforts across United States
  6. Legal experts question prosecuting South Fayette boy for recording bullies
  7. Bullied South Fayette student’s case prompts wiretap overhaul legislation
  8. District attorney’s office takes paperwork from Wilkinsburg Middle School
  9. Work on tournament-class dek hockey rink in Bloomfield to begin
  10. Everest avalanche kills 12 in peak’s deadliest climb
  11. Newsmaker: Josh Schwoebel
Subscribe today! Click here for our subscription offers.