[FRIAM] Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors - News - Carnegie Mellon University

[Russ Abbott]

Why did he name his three sons James, Jonathan, and Jeffrey?

-- Russ Abbott
Professor, Computer Science
California State University, Los Angeles


On Sat, Dec 26, 2020 at 2:37 PM Frank Wimberly <wimberly3 at gmail.com> wrote:

>
> https://www.cmu.edu/news/stories/archives/2020/december/obituary-ed-clarke.html?fbclid=IwAR2ZITw4mPMaZRMzQ0JDOMln-A_Fw-bkM646F6TUzwZ_s4bkeLiqz9Hk18Y
>
> I attended many meetings with Ed when we both worked on the Spice Project.
> - .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. .
> FRIAM Applied Complexity Group listserv
> Zoom Fridays 9:30a-12p Mtn GMT-6  bit.ly/virtualfriam
> un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com
> archives: http://friam.471366.n2.nabble.com/
> FRIAM-COMIC http://friam-comic.blogspot.com/
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://redfish.com/pipermail/friam_redfish.com/attachments/20201226/1a5c905a/attachment.html>