About Me

Edgar Graham Daylight

Short CV:

• Ph.D. in software engineering at IMEC, Leuven (2000–2006).
• Post-doc researcher at Virginia Tech (2006–2007).
• MS in Logic at the University of Amsterdam (2007–2009).
• Researcher in the History of Computing (2009–today).

The incentive for this blog in my words:

Just as an extensive account of Einstein's ideas aids us in grasping the constituents of our universe, research of Dijkstra's numerous writings helps crystallize some of the most important ideas underlying our digital society.

Relevant publications:

Books & Booklets

• E.G. Daylight, An interview with Donald E. Knuth, Lonely Scholar Conversations Series, To appear.
• E.G. Daylight. The Dawn of Software Engineering: from Turing to Dijkstra, Lonely Scholar, April 2012.

• E.G. Daylight. Pluralism in Software Engineering: Turing Award Winner Peter Naur Explains, Lonely Scholar Conversations Series, October 2011.

Articles in international reviewed journals

• E.G. Daylight. Towards a Historical Notion of ''Turing — the Father of Computer Science''. Submitted to a special issue in the journal History and Philosophy of Logic.
• G. Alberts, E.G. Daylight. Universality versus Locality: the Amsterdam Style of ALGOL Implementation. To appear in a special issue of the IEEE Annals of the History of Computing.

• E.G. Daylight. From Mathematical Logic to Programming-Language Semantics — a Discussion with Tony Hoare. Journal of Logic and Computation. February 2013, doi: 10.1093/logcom/exs071

• E.G. Daylight. Dijkstra's Rallying Cry for Generalization: the Advent of the Recursive Procedure, late 1950s — early 1960s. The Computer Journal, March 2011. Paper available here.

Contributions at international conferences, published in proceedings or book chapters

• E.G. Daylight. A Compilation of Dutch Computing Styles, 1950s-1960s. Accepted for History and Philosophy of Programming (HAPOP), Birmingham, July 2012.

• E.G. Daylight, S. Nanz (eds). Panel discussions I & II, held at the Future of Software Engineering Symposium, 22-23 November 2010, ETH, Zurich, Lonely Scholar Conversations Series, November 2011.

Varia

• E.G. Daylight. A short biography of Peter Naur, the 2005 Turing award winner. Written for the official ACM website on Turing award winners, May 2012. See http://amturing.acm.org/   Disclaimer: the spelling mistakes (especially concerning the name Edsger W. Dijkstra) and the editing in general are not my responsibility. 

Contact:  egdaylight AT dijkstrascry DOT com