词条 | Jan L. A. van de Snepscheut |
释义 |
| name = Jan L. A. van de Snepscheut | image = | image_size = | caption = | birth_date = {{birth date|1953|09|12}} | birth_place = Oosterhout, Netherlands | death_date = {{Death date and age|1994|02|23|1953|09|12}} | death_place = La Cañada Flintridge, California, United States | residence = | citizenship = | nationality = Dutch | ethnicity = | field = Computer science | work_institutions = Eindhoven University, Groningen University, Caltech | alma_mater = Eindhoven University | doctoral_advisor = | doctoral_students = Peter Hofstee | known_for = | prizes = | religion = | footnotes = }}Johannes Lambertus Adriana van de Snepscheut ({{IPA-nl|ˈsnɛpsxøːt|lang}}; 12 September 1953{{spaced ndash}}23 February 1994) was a computer scientist and educator. He was a student of Martin Rem and Edsger Dijkstra.[1] At the time of his death he was the executive officer of the computer science department at the California Institute of Technology. [2] He was also developing an editor for proving theorems called "Proxac".[3] In the early morning hours of February 23, 1994, van de Snepscheut attacked his sleeping wife, Terre, with an axe. He then set their house on fire, and died as it burned around him. Terre and their three children escaped their burning home.[2] Bibliography
References1. ^{{cite web |url=http://www.cs.utexas.edu/users/EWD/transcriptions/EWD11xx/EWD1177.html |authorlink=Edsger W. Dijkstra |first=Edsger W. |last=Dijkstra |title=In Memoriam Jan L. A. van de Snepscheut (EWD1177) |date=April 25, 1994 |accessdate=May 21, 2012}} 2. ^1 {{cite news |url=http://articles.latimes.com/1994-02-24/local/me-26659_1_associate-professor |title=Caltech Professor Dies After Attacking Wife, Setting House Ablaze : Violence: Daughter says she saw her father lighting matches as family escaped the fire. Motive is unknown |first=Mike |last=Carlson |work=Los Angeles Times |date=February 24, 1994 |accessdate=May 21, 2012}} 3. ^{{cite paper |url=http://authors.library.caltech.edu/26773/ |title=Proxac: an editor for program transformation |first=Jan L.A. |last=van de Snepscheut |year=1993 |work=Caltech Computer Science Technical Reports |accessdate=May 23, 2012}} Εxternal links
9 : 1953 births|1994 deaths|California Institute of Technology faculty|Dutch computer scientists|Eindhoven University of Technology alumni|People from Oosterhout|Software engineering researchers|University of Groningen faculty|People from La Cañada Flintridge, California |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。