Re: Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors - News - Carnegie Mellon University

Posted by Frank Wimberly-2 on Dec 26, 2020; 11:20pm
URL: http://friam.383.s1.nabble.com/Edmund-Clarke-Pioneered-Methods-For-Detecting-Software-Hardware-Errors-News-Carnegie-Mellon-Universiy-tp7599936p7599938.html

No idea.  His sons were probably born after we worked together but I don't know.

On Sat, Dec 26, 2020, 3:53 PM Russ Abbott <[hidden email]> wrote:

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

On Sat, Dec 26, 2020 at 2:37 PM Frank Wimberly <[hidden email]> 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/

- .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. .
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/

- .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. .
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/