Monday, June 27, 2011

Deconstructing the 4-2 Gold Cup debacle at Rose Bowl

I am an avid follower of the sport known worldwide as football and in the US as soccer. While I grew up playing and following the sport of cricket, I essentially gave it up when I moved from the home of the world champions to a country where the word is more commonly understood to mean a member of the Gryllidae family. About ten years ago, I became a certified soccer referee, and over the next few years I got quite good at it; however, as my kids' involvement in soccer became more serious over the years, my weekend role has turned into that of a chauffeur, while my interest has evolved into analyzing the finer technical and tactical points of the game. Coincidentally, this is also the period when data-driven methods became mainstream in the analysis of team sports. Somewhat late to this trend, soccer is busy catching up with it as well. [Aside: Some of the excellent soccer sites with this flavor include Jonathan Wilson's articles on The Guardian, Tim Hill's Blog, Bob Evans' blog on refereeing, The Guardian's Chalkboards, the occasional analytical article on NYT's Goal blog, etc.]

That was a long pre-amble. This post is my analysis of the defeat of the US Men's National Team at the hands of (feet of?) Mexico in the final match of the CONCACAF Gold Cup in front of a largely pro-Mexican crowd of over 90,000 at the Rose Bowl in Pasadena, CA. The popular soccer press and the blogosphere are rife with knee-jerk reactions lambasting defender Jonathan Bernstein, calling for a replacement to coach Bob Bradley, and even questioning the credibility of USSF President Sunil Gulati. In this post, I will attempt to portray with evidence what went wrong with the US defense, and how the US allowed the Mexicans to score four goals after leading the game 2-0 a mere 23 minutes into the game.

I am not saying that Bornstein had a great game or that Bradley's tactical choices were masterful; I am merely pointing out that blaming the last defender or the positional counterpart of the goalscorer is an easy and lazy way to react to a loss. It is understandable when casual fans do this, but it pains me that two days after the final, not one soccer writer has attempted to really analyze this rather excellent soccer match from a technical perspective. Hence this humble attempt at providing such an analysis.

As far as analyses of soccer matches go, please note that this is the "easy" kind of analysis -- breaking down what happened in a 30-second span of play and explaining who was at "fault" -- as opposed to the more difficult analysis that explains what happened over the course of 90 minutes or over the course of a season why a certain player or certain team is successful. Read Tim Hill's blog for various examples of such brilliant analysis.

The analysis below uses snapshots from this YouTube video and this one of game highlights, mostly from the latter. My original analysis was conducted with DVR from HD transmission, with replays and pauses, apologies if the video snapshots don't adequately express the ideas. I am grateful to Aravind Sivakumar, with whom this analysis was conducted jointly; he is also the one who knows a thing or two about actually playing soccer on the field rather than from the armchair.

Goal #1 for Mexico: The score is 2-0 in favor of the US, Mexico has a throw-in about ten yards from the halfway line on their defensive side. A second after the throw-in, here's the picture:


Couple of seconds later, the ball is played into the center of the field:



This picture tells us several things, some of which point out what went wrong:
Chicharito, only Mexico's most dangerous player, is left unmarked in the middle of the park -- he has occupied what is often considered the "soft underbelly" of a defensive formation, the space between the holding midfielder(s) and the centerbacks. The person nearest him is Michael Bradley, who is actually not goal-side of him, but is more or less marking the referee. The other holding midfielder, Jermaine Jones, is on the attacking side of the halfway line. The centerbacks have Gio Dos Santos covered, and Bornstein is loosely marking Barrera, the eventual goalscorer. A fundamental rule of defending in soccer is that at any transition, the midfielders, especially the defensive ones, get goal-side of the player in their zone. Jones and Bradley failed to do this. Admittedly, Chicharito is a forward, and thus nominally the responsibility of the centerbacks; and admittedly, Jones has the two central midfielders in front of him. That brings me to my next point: the goalkeeper and the centerbacks, who are the ones responsible for organizing the defense, completely failed in their jobs -- either to get one of the midfielders to drop and mark Chicharito, or to have one of the centerbacks step up so as not to allow him space and time. It appears that Bocanegra and Goodson, the centerbacks, had pushed up enough to keep Dos Santos offside at this moment.

The next picture shows that Bradley caught up to Chicharito a second later, but not before he could play the killer pass to Barrera; as this picture illustrates, by this time, Goodson starts running back, and keeps Dos Santos onside, not that it matters. Captain Bocanegra is more or less ball-watching, instead of providing cover for Goodson and Bornstein, or heading in the direction of the space between himself and Bornstein/Barrera, the most likely place for Chicharito to play the through ball.



At this point, it was a hopeless cause for the US defense. Chicharito carved the space between Bocanegra and Bornstein nearly right in the middle with a well-weightd ball, and Barrera completed a lovely goal. Was Bornstein guilty here? Sure, he was -- he didn't stay tight on Barrera, he was on the inside as opposed to goal-side so once the ball is past him, the attacker is behind him and he has no hope of making a tackle or interception. My point, however, is that the US failed in basic defensive organization at a rather "safe" point in the game -- leading by two goals, with a transition from a throw-in in the opponent's defensive half, with plenty of time to get someone to deny Chicharito time and space. In my estimate, the "blame" for this goal is on Bradley, Bocanegra, and Bornstein, in that order, let's say 0.5 for Bradley, 0.25 each for the other two.

Goal #2 for Mexico:

It begins like this, a long ball is played from the central midfield towards the right touchline. Giovani Dos Santos is the recipient, and I can't identify the passer (Torrado or Castro). There are two US players in front of the passer -- Jermaine Jones and one more player, not sure who it is. Michael Bradley is in the central circle, and behind him is Andres Guardado, another live-wire player in the Mexican National Team.


Now Dos Santos has the ball at his feet, and is looking to dribble in:


A few points are noteworthy here: Bornstein is successful in the first and foremost aspect of defending: delaying (the other two are denying and destroying, more on that in a moment). He gets goal-side of the attacker, and is in position to proceed to the next two aspects. He has excellent cover too: Bocanegra is moving in, and Goodson is providing cover to both Bornstein and Lichaj on the other side (who has his eyes on Chicharito). Jones is making a sharp run into the box (he's near the penalty arc), and Bradley, eyes on the ball, is heading in the general direction. Between the two of them, Bradley and Jones are lacking organization: who will pick up Guardado, who is by now a few steps ahead of Bradley (and close to the referee in the picture), and whether the other attacker (Barrera?) outside the box is Jones' responsibility or Bocanegra's. Bocanegra is in a good position, able to provide cover for Bornstein, or to take this other attacker, should Dos Santos lay it off to him. The confusion continues for Bradley and Jones, though, as can be seen in the next picture, a fraction of a second before Dos Santos takes his shot:



By this point, Lichaj has done an excellent job of staying goal-side of Chicharito, and keeping him tightly marked. Jones is still confused and ball-watching, Bradley is ball-watching and scrambling in the general direction of Guardado. Dos Santos takes the shot, which Lichaj steps up and intercepts, but let's see where the rest of the cast of characters are:



Bradley still hasn't gotten goal-side of Guardado, and neither has Goodson. Jones continues his general moral support in the area, without specifically taking on any responsibility. At this point, it's over. The ball spills to Guardado, who makes no mistake. Chicharito's general soccer awareness is simply brilliant here: realizing that he's offside, and that any involvement by him would nullify what is clearly heading to be the equalizer, he not only avoids any contact with the ball, but ensures that his non-contact is perceptibly obvious.

So who's to blame for Goal #2? At this level of play, any attacker worth his salt will be able to beat a defender with one cut (as Dos Santos executes with his outside left foot to get space from Bornstein), so while Bornstein didn't successfully deny or destroy the shot, he is not entirely at fault. Bocanegra did absolutely nothing to position himself to intercept the ball, or to otherwise organize the defense. Goodson's case is even more interesting -- he was not the first line of defense against any of the attackers, and the least "occupied"; naturally, it was his job to ensure that Guardado was picked up properly either by Jones or by Bradley, and when neither did so, by himself. Bradley's defending was comical: when the lead pass was played, Guardado was a few steps behind Bradley, and Bradley had no one else to mark; yet, he failed to get goal-side of Guardado for the rest of the play. Let's chalk this one up to Bradley, Jones, Goodson, Bocanegra, and Bornstein, in that order, and respectively, for 0.3, 0.2, 0.2, 0.2, and 0.1 points each. I wouldn't blame Howard for this one, though I wish he had done better.

As an interesting aside, four names you didn't see in the analysis of Goal #2 are: Donovan, Dempsey, Adu, and Bedoya, the four attacking players for the US. Normally, the US plays a solid defensive game -- the outside forwards / wingers work their tails off in tracking down and helping the fullbacks. It was stunning to see that Bornstein and Lichaj didn't get any support, especially since Lichaj was marking Chicharito in this play. It is even more painful (for the US fan, that is) when we consider that the US was leading at this point, and some basic tactical discipline was crucial. I suspect, but can't remember, that this was a counterattack, which is why Bedoya and Dempsey (the wingers/outside forwards at this point) didn't have time to drop back.

On to Goal #3:
The ball is played from the touchline to one of the central midfielders for Mexico, Adu tries to put some pressure on the player, but he's looking to make a long pass across the halfway line. You'll see Bradley near the referee, he has the other central midfielder in front of him; Bedoya appears to be the US player on the far side. Can't tell if it was a Mexico throw-in, or if Clint Dempsey (the US player on the near-side touchline) was dispossessed of the ball. In either case, it's a transition, and we see Jones not goal-side of anyone in particular, which is kinda OK especially if the US had possession a second or two earlier.

But let's see how this develops.


I think it's Dos Santos who receives the ball; Bornstein is scrambling to quickly get goal-side of him. Barrera (the Mexican player second-closest to the ball) is starting to make a run towards and beyond Bocanegra. Goodson has Chicharito behind him, but Lichaj appears to be headed to help mark Chicharito. In all of this, no one seems to play any attention to Guardado, whom we see at the top of the center circle.

I love the next snapshot for how many things it tells us about great attacking and good defending in soccer:


Barrera is headed towards goal, Bocanegra keeps him on the inside, somewhat questionably. Guardado has his arms stretched wide, and he wants the ball passed to him across the swath of space left open in the middle by Jones, who is facing the ball, and not dropping in to cover Guardado's possible run into the middle. It isn't clear if he got instructions from Howard and Bocanegra about having to pick up Guardado's run; for now he just seems completely ineffective, especially if Dos Santos makes a slightly diagonal pass into the triangle between Jones, Chicharito, and Barrera, a pass for Guardado to run into. However, Dos Santos has other ideas but, as we shall see, Guardado will still get his wish. If Guardado's run into that space, asking for the ball, is brilliant, Chicharito's positioning is simply genius. He is directly on the straight line between Goodson and Lichaj; he's got Lichaj in two minds. If Chicharito is further inside, he would be Goodson's mark, and Lichaj could focus on Guardado's run, but Lichaj has to be open to the possibility that Chicharito will make an outside run, in which case he, and not the centerback Goodson, would be the man to mark him. This keeps Lichaj undecided (for now), allowing Guardado to continue his run unchecked.

The next picture introduces a new character into the picture, the player that Bradley was previously goal-side of. Dos Santos has lobbed the ball over Bornstein, and Bocanegra is about to intercept it with a header; Bradley's mark has outrun him and entered the screen between Jones and Guardado:


Bocanegra heads the ball down, Bradley has sprinted and has noticed that Guardado is the man about to receive the ball, and has a chance of getting goal-side of him. In the meanwhile, Chicharito decides to go inside, and Goodson, correctly, decides to be the cover man (since there is now a chance that Guardado might receive the ball and run straight toward the goal), and leaves Lichaj to pick up Chicharito:



For inexplicable reasons, Bradley twists his run, and goes behind Guardado, allowing him to trap the ball with his chest, and bring it forward with his momentum, leaving us with this:



Notice that with respect to the previous picture, two very subtle things happen: Bocanegra, aware that Guardado has successfully trapped the ball in the center, moves in toward the middle to offer cover for Goodson, and, at the same time, Barrera instinctively shuffles a couple of steps away from the middle, creating a lane 3-5 yards wide for Guardado to stroke the ball into. He does that, and Barrera pulls off a fantastic strike (outside of the right foot) to the far post.

Oh, and Jones was an eyewitness to all of it. Not much else.

What should've happened? Seeing the acres of space in front of him, Goodson should've decided early on that Chicharito was Lichaj's responsibility, and screamed at Bradley to hand off his mark to Jones and go pick up Guardado instead. There was ample opportunity for executing that. There were two players to be picked up during this attack -- the player that Bradley was marking (Torrado or Castro), and Guardado. Unfortunately, Jones and Guardado were on either side of Bradley, so it called for a switch of responsibilities: Jones to take over Bradley's man, and Bradley to press Guardado. In the seven or so seconds, Goodson, Howard and Bradley failed to execute this. Jones, as the player with no immediate responsibility, could've, should've initiated the switch, but he was caught ball-watching. Bocanegra, as captain and the most-experienced defender, couldn't be involved in organizing the defense because he had his hands full with the initial clearing header and tracking Barrera. Add to this tricky situation the fact that Chicharito and Barrera played with impeccable instincts, and it's hard to blame anyone too much. If anyone, I'd go with Jones as the main culprit here, for the full 1.0 in the points system.

And finally that magic goal by Dos Santos. This goal was significant for an important reason: until then, the score was 3-2, and the US was just one goal away from getting back into the game. But this sublime goal put the US mentally out of the game. It started with a tussle near the corner flag, where Chicharito was trying to burn some time, and Bocanegra was fighting to win the ball (and he did that successfully). While the tussle was going on, another Mexican attacker (Zavala, who came on for Barrera, I think) got there, along with his marker Bornstein. Jones left his mark, Torrado, and went to the corner flag as well, to lend extra support and hopefully win the ball for the US. Lichaj has Guardado to mark, Goodson picked up Torrado, and Bradley dropped deep into the box, marking Dos Santos. All very well so far, except that we have an extra defender near the corner flag, and the ball gets kicked toward the box, where Torrado accepts it gratefully. This extra defender means that Bradley's mark, Castro, is likely lurking unmarked, but that turns out not to be a problem. Situation reasonably under control, and Bocanegra is already back near the box:



Goodson's positioning couldn't be better: he's cutting Torrado's angle toward the middle, and Howard should be responsible for any attempt at a near-post shot on goal. What he fails to account for is the fact that Bradley is going to let Dos Santos behind him and Torrado is going to play a simple pass on the outside, behind Goodson, not a pass splitting the defense:



By any stretch of imagination, Bradley should get to this ball first, but Howard calls for it, and charges out, leaving Bradley to do the only thing he can do: get on the goal line, in case Howard fails to save. This he starts to do:


However, the call by Howard turns out to be wrong, and Dos Santos gets to the ball first, with six US defenders in the box with him (from the nearest to the furthest: Jones, Bocanegra, Goodson, and Lichaj, besides Howard and Bradley). Of course, he scores, beating Lichaj, who gamely gets to the far post and tries to head it off, after first easily beating Jones and Bocanegra. Jones' mechanics, as he tries to defend this play, are laughable, and Bocanegra's defending isn't much better. We'll give this one primarily to Howard, for 0.6 points, with Bocanegra and Jones with 0.2 points each.

In sum total on the points system, we have Jones at 1.4, Bradley at 0.8, Bocanegra at 0.65, Howard at 0.6, Bornstein at 0.35 and Goodson at 0.2.

To me this analysis says a few things.

It's time for Bocanegra to be left out of the MNT. He shares at least part of the blame for three of the four goals; as the most experienced defender and captain, we should expect better. Given the recent sloppy performances of Onyewu and newbie Tim Ream, we are really, really thin at the centerback position, but Goodson's performance is a silver lining. Perhaps he will play the role of the experienced defender for the next World Cup cycle. Also, it is important to qualify for the next Olympics and identify the most promising young central defenders (Ream, Opara, et al.).

Michael Bradley had a poor game, and Jermaine Jones had a horrible game, two facts not called out adequately in the mainstream media and popular soccer blogs. In all four goals, we don't see the midfield working as a unit/tandem; the lack of understanding and communication they demonstrated was deplorable.

Bob Bradley didn't get through to Michael and Jermaine Jones adequately at half-time. He didn't put enough support for Lichaj (who was dealing with one or the other of Chicharito and Guardado, two of Mexico's most dangerous players) into his game plan for the second half. By contrast, the Mexican coach had a clear adjustment: any time Freddy Adu got the ball with space, he was closed down by two defenders, forcing him to make a tame back pass.

Finally, I hope that we see more technical and tactical analyses in the US soccer media, rather than have blogs turn into talk shows where somebody is always calling for the coach's head.

Thursday, January 28, 2010

On the iPad as a consumer device


When Apple's Steve Jobs unveiled the iPad, expectations were high -- no, scratch that, expectations were enormous. Everyone more or less knew that it was going to be a tablet -- a tablet that very likely will be based on the a touch-screen, a tablet that will offer electronic book reading, etc., etc. Expectations were so high that there was no way Apple could live up to it -- after all, they couldn't possibly top the iPod and the iPhone, could they?

Unsurprisingly, the reaction in the media has been mixed. Numerous newspaper columnists and bloggers have written critically about various features that were less than optimal or were lacking, starting with the bezel, the lack of support for Flash, yada, yada...

I had a very different reaction.

In fact, I wasn't going to blog about it or anything, but when I saw the NYT headline "With Its Tablet, Apple Blurs Line Between Devices," I decided that I will, after all, present a simple point that seems to be missed by geek bloggers and mainstream journalists who generally seem to parrot some of what the geeks and some Wall St. types say.

The iPad is a device for consuming Web content -- information as well as entertainment.

It is not for programmers or professional photographers or bloggers or journalists or music makers or the guy who will be writing the next Great American Novel or the amateur videographer. Or, at least, it's not for them when they are creating content.

It is for the rest of us who, for the most part and for most of our lives, are consuming information or entertainment. It is for those of us who don't know or don't care what Flash support is or multitasking is or what Firefox is. It is for all of us when we just want to curl up with our book or our Web, preferably on our couch.

Experiencing the Internet doesn't have to be done crouched in front of a desktop and a keyboard, or lugging a 3 lbs. or more device on your lap. If all you're doing is consuming Web content, you might as well sit back, relax, and enjoy it. That's precisely what the iPad will let you do.

To be sure, you can do quite a bit more (write short emails, tweets, interact with web sites, fill forms, etc.), and with a few tweaks, it will let you do even more: Stick it into the keyboard dock, fire up Google Docs on your browser, and you can write your book report or term paper or maybe even a chapter or two of the Great American Novel; plug in your headphones, fire up Skype or Google Voice and you might be able to make phone calls as well. Yes, you could do these, but they are not the primary intended use case.

And this is where the NY Times headline is so wrong: Apple has not blurred the line between devices, it has made the line very clear. Consuming information and entertainment is a very different activity from producing it -- your interaction with your device can take full advantage of a lovely touch screen and speech interfaces where meaningful, but for the most part you don't have to actively do anything beyond simple, lightweight, gestures. Relax. Take a deep breath. Enjoy the Web!

When the Kindle came out, I was excited like never before (my father and grandfather are in the printing business, and I grew up with alloy typefaces, a bazillion font names, heady-smelling printing ink, language like "galley proofs" and "offset" and "treadle" printing machines and such). And since I am a computer scientist, I could imagine a lot more: I could see the Kindle completely revolutionizing the book experience -- textbooks would no longer be the same, there would be videos and animations and high-definition images that would teach our kids and their kids in a very different way.

Except it didn't.

The dull-gray background is painful to read on; it's a royal mess to find the meaning of the word you encounter -- you push around a teeny-weeny joystick to highlight the word and click on it; there is just one font -- one lousy font -- in which you can display content; the e-books often butcher pictures and superscripts (for chapter notes). At least the iPad will fix all these. And it will make reading on a device a joy.

So I hope the geeks will stop whining about minor issues -- yes, you can't listen to Pandora radio while you read your email, but can still listen to music on the iPod app; yes, it doesn't come with Flash support, but come on, that's a matter of software, and will more likely than not be fixed and patched even after the device is bought; yes, there is no camera, but surely somebody will come up with a tiny camera that sticks to the iPad so you can do video chat, etc., etc. Instead, it would delightful if the geeks would find novel applications to write for this new form factor (the size of a Mead composition notebook) that has a gorgeous touch-screen and an accelerometer.

There's a time for unleashing creative energy. For all other times, there is the iPad. Enjoy!


Friday, October 30, 2009

$2400 in 24 Hours, Please Donate!

I am delighted to be conducting a fundraising drive for $2400 within 24 hours starting now (Friday, October 30, 2009, 7pm PDT). The funds are for the Asha For Education, a non-profit voluntary organization dedicated towards increasing literacy among children in India.

Please go here to donate online through a secure web site.

Some facts about Asha for Education that appeal to me:

Asha for Education is entirely volunteer-driven (no paid office-bearers), sponsors a variety of projects all aimed at bringing change to the underprivileged children of India through education. These projects are as diverse in scope (from non-formal education in rural areas to formal schools in violence-troubled areas, from state-wide quality-improvement projects to the adoption of small schools that educate children of farm laborers).

Asha for Education has received the highest-possible 4-star rating from CharityNavigator.org, buoyed by the fact that 98.3% of funds raised go to the projects.

Asha for Education chooses the projects on a completely secular basis, regularly follows up with the projects, and has a rigorous and transparent process (including accounting -- see web page) for funding.

I am hoping that my circle of friends, family, and other acquaintances will spend a few moments reading about this wonderful organization and generously contribute (any amount, please consider a minimum of $25).

I am privileged to be part of the Team Asha Marathon training program, who, through their excellent endurance training program that has trained over 1,000 marathoners, helped me through the summer and fall of this year, culminating last week in the Silicon Valley marathon event, where I completed my first marathon run.

If you have any questions, please send me an email, or comment on the blog article.

Tuesday, August 18, 2009

Fundamentally unsound


Reading submissions for a conference that I shall not name, I was hit by several inane, content-free sentences that bloat the importance of the papers using incomprehensible jargon... and it struck me, PGW had said it best:
I had got as far as this in thinking the thing out when that `Types of Ethical Theory' caught my eye. I opened it, and I give you my honest word this was what hit me:
Of the two antithetic terms in the Greek philosophy one only was real and self-subsisting; and that one was Ideal Thought as opposed to that which it has to penetrate and mould. The other, corresponding to our Nature, was in itself phenomenal, unreal, without any permanent footing, having no predicates that held true for two moments together; in short, redeemed from negation only by including indwelling realities appearing through.
Well --- I mean to say --- what? And Nietzsche, from all accounts, a lot worse than that!

Thursday, June 04, 2009

Q: Can you make "air quotes" while talking on your mobile phone?


A: Yes, if you use a bluetooth headset.

I am not making this up -- I actually saw a woman do it at a traffic signal!

Wednesday, April 15, 2009

Dominant Strategy?


STOC Registration fee for non-members of SIGACT is $100 more than the registration fee for SIGACT members. SIGACT membership is only $18. What gives?

Tuesday, February 05, 2008

A strategic vote from the heart


So it came down to two issues for me -- the level of detail and thoroughness of various plans (esp. universal health care) and the candidates' stand on (the Iraq) war.

Clinton clearly has the better resume on the first count -- meticulous and well-crafted plans all around, reflecting her experience and how deeply she cares about issues. For example, see this Krugman article (timed slightly poorly, coming as it did the day before Super Tuesday, compared to the Kennedy family endorsement, which gave voters some time to let it sink in) for a nice analysis on how the Clinton health care plan would cover nearly twice as many people as the Obama plan would.

On the Iraq war front, Obama had the clarity of thought to step up in October 2002 (on Gandhi's birthday, in fact) and call it a dumb and rash war, adding:

I know that even a successful war against Iraq will require a U.S. occupation of undetermined length, at undetermined cost, with undetermined consequences.

I know that an invasion of Iraq without a clear rationale and without strong international support will only fan the flames of the Middle East, and encourage the worst, rather than best, impulses of the Arab world, and strengthen the recruitment arm of al-Qaeda.

In a matter with complex details, Obama (and his team) didn't possibly have the best analyses of their health care package, but that's something that is fixed at a smaller cost: the studies of the kind Krugman points out might lead to Obama's plan being revised, Obama might simply incorporate several elements of Clinton's health care proposal, etc. However, in a matter of international significance, in a matter that involved serious cost (and not just in dollars) to the country, Hillary Clinton failed, where the junior senator from Illinois displayed tremendous foresight and levelheadedness.

For this reason, I voted for Obama.

The vote is also strategic, to some extent: my thinking is that McCain (or any of the other Republican candidates) might find Hillary an easier opponent to defeat simply because I think that America is less racist than it is sexist. And that is an outcome that I wish to avoid entirely.

How to increase your odds of winning the Turing Award


Consider working in some area related to the broad theme of correctness:
formal verification of software/hardware, model-checking, program correctness, program specifications, etc. I can count 8-10 Turing awards in these fields (algorithms/complexity is up there as well, though not in recent years).

The 2008 (or is it 2007?) A. M. Turing award recipients have been announced -- Ed Clarke, E Allen Emerson, and Joseph Sifakis have received the award "[f]or [their] role in developing Model-Checking into a highly effective verification technology, widely adopted in the hardware and software industries."

Congratulations to the winners!

It is clear that the theme of correctness of programs and hardware, etc., is fundamentally important to the evolution of CS into a sound scientific discipline. However, an outsider to these fields (I should know - my programs and theorems have bugs more often than I'd like), I must complain that I find it hard-pressed to find examples of work by these Turing award winners that have made it to the "mainstream" (say, a typical Masters or a strong undergraduate program in CS). This is the opposite of the situation in algorithms/complexity (despite some counterexamples like Yao's work on pseudo-randomness).