I've been invited to give the next Strachey Lecture in Computing Science at the Oxford University Computing Laboratory. I never had the honor of meeting the late Christopher Strachey, but his work was essential to the early days of Rational: among other things, Dr. Strachey (along with Dr. Dana Scott) invented the field of denotational semantics which formed the theoretical basis for formalizing the semnatics of Ada and ultimately lead to the creation of DIANA (the Descriptive Intermediate Attributed Notation for Ada) . DIANA was the essential abstraction around which by Rational's early Ada Development Environment was built (and for which we also built a hardware machine that essentially "ran" DIANA).
One of Dr. Strachey's passions was trying to resolve the disconnect between academia and industry. I'm kind of the odd man out in this lecture series, for I'm not from academia, I don't have a doctorate (I'll have to check, but I think I may be the only one from the lecture series), and I'm not a reseacher but rather am squarely in industry. I'll be discussing The Limits of Software, a subject that I've been presenting and growing for the past few years. When I figure out the mechanics of this particular blog, I'll post my slide deck here (I used to use Blogger but didn't like its facilities so I wrote my own for my handbook work).
The net of this lecture series is that I'll be away until the 7th of May. On such trips, I typically don't take my laptop: my Sony Clie and a flash RAM keychain are enough for me, as it simplifies airport checkin - I'm profiled enough as it is - and it's one less thing to lug when running for a plane, train, or automobile. One of these days, I'm hoping IBM Research will come out with an implantable PC, but at least for this trip, I must warn you of likely spotty bloging from me until my return. I'll try as best I can to snag a public PC from which to blog.
On the Road Again
gbooch 120000P81R 576 Visits