Newsmaker: Edmund M. Clarke
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.
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
TribLive commenting policy
You are solely responsible for your comments and by using TribLive.com you agree to our Terms of Service.
We moderate comments. Our goal is to provide substantive commentary for a general readership. By screening submissions, we provide a space where readers can share intelligent and informed commentary that enhances the quality of our news and information.
While most comments will be posted if they are on-topic and not abusive, moderating decisions are subjective. We will make them as carefully and consistently as we can. Because of the volume of reader comments, we cannot review individual moderation decisions with readers.
We value thoughtful comments representing a range of views that make their point quickly and politely. We make an effort to protect discussions from repeated comments either by the same reader or different readers.
We follow the same standards for taste as the daily newspaper. A few things we won't tolerate: personal attacks, obscenity, vulgarity, profanity (including expletives and letters followed by dashes), commercial promotion, impersonations, incoherence, proselytizing and SHOUTING. Don't include URLs to Web sites.
We do not edit comments. They are either approved or deleted. We reserve the right to edit a comment that is quoted or excerpted in an article. In this case, we may fix spelling and punctuation.
We welcome strong opinions and criticism of our work, but we don't want comments to become bogged down with discussions of our policies and we will moderate accordingly.
We appreciate it when readers and people quoted in articles or blog posts point out errors of fact or emphasis and will investigate all assertions. But these suggestions should be sent via e-mail. To avoid distracting other readers, we won't publish comments that suggest a correction. Instead, corrections will be made in a blog post or in an article.
- Fans flock to what they hope will continue ‘magical season’
- Advocacy groups call for closer scrutiny of charter schools
- PennDOT to install art murals along Route 28
- Point State Park honored as top-notch public space
- Spokesman for India’s PM tells Pitt audience of pro-business agenda
- $5M Penn Avenue reconstruction project is ‘killing everything’
- Pittsburgh spends $11,701 for police to patrol bike lane, mostly on overtime pay
- Hotel still a possibility for August Wilson Center
- Peduto hails proposal for federal money to boost education for preschoolers
- City of Pittsburgh detective, 2 boys finalize adoption before judge
- Newsmaker: Kate DeLuca