Tölvunarfræðideild

Viðburðir

Pearls of Computation: Eyjólfur Ingi Ásgeirsson The shortest path to beautiful code (- DEATH TO GOTO- )

  • 15.2.2013, 14:00 - 15:00

Eyjolfur-Ingi-AsgeirssonPEARLS OF COMPUTATION

Eyjólfur Ingi Ásgeirsson
When: Friday, 15 February
Where: M101
Time: 14:00-15:00


Abstract: (From http://www.cs.utexas.edu/~EWD/)
Edsger Wybe Dijkstra was one of the most influential members of computing science's founding generation. Among the domains in which his scientific contributions are fundamental are

  *   algorithm design
  *   programming languages
  *   program design
  *   operating systems
  *   distributed processing
  *   formal specification and verification
  *   design of mathematical arguments

In addition, Dijkstra was intensely interested in teaching, and in the relationships between academic computing science and the software industry.

During his forty-plus years as a computing scientist, which included positions in both academia and industry, Dijkstra's contributions brought him many prizes and awards, including computing science's highest honor, the ACM Turing Award.



Introduction to the new Pearls of Computation seminar series


From January 2013, ICE-TCS http://www.icetcs.ru.is/ organizes the Pearls of Computation seminar series. To begin with, the talks in this series will mostly focus on the work of some of the recipients of the ACM Turing Award http://amturing.acm.org/ (or of some other major award related to computer science) in an accessible way. Attendance is free and is open to everyone.

The full schedule of the talks planned for the spring semester 2013 is available at
http://www.icetcs.ru.is/poco.html,
where up-to-date information on the seminars in the series may be found.

The Pearls of Computation talks at Reykjavik University<http://www.ru.is> are organized in collaboration with the School of Computer Science at Reykjavik University http://en.ru.is/CS/, CADIA http://ailab.ru.is/, "CRESS: Center on Research in Engineering Software Systems", the Icelandic Mathematical Society http://www.stae.is/isf/en, IIIM http://www.iiim.is/ and the Mathematics Group at Reykjavik University http://math.ru.is/.