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

[Frank Wimberly]

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

---
Frank C. Wimberly
140 Calle Ojo Feliz,
Santa Fe, NM 87505

505 670-9918
Santa Fe, NM

On Sat, Dec 26, 2020, 3:53 PM Russ Abbott <russ.abbott at gmail.com> wrote:

> 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/
>>
> - .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. .
> 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/8f4676ce/attachment.html>