  |
The North Saskatchewan Section of the IEEE Presents:
A Seminar on Rigourous Programming
Date: Tuesday April 12, 2011
Time: 6:30pm - 8:00pm
Location: Room 2C02, Engineering Building, University of Saskatchewan
Presenter:
Christopher Dutchyn
Assistant Professor, Department of Computer Science, University of
Saskatchewan
Abstract:
Recent results in programming languages promise to revolutionize the
field of software development. In particular, tools such the Coq proof
assistant have made the previously unobtainable result of formally
verified software achievable. We look at the history of program
verification, and consider the impact of modern tools, ending with the
CompCert and CompCertTSO systems. Then we turn our attention to
mathematical foundations for understanding parallelism, primarily the
second generations supercomputer version of Java: the Fortress project
from Sun/Oracle. In summary, debugging has always been science, but
programming is becoming less art and more engineering.
Speaker's biography:
Christopher Dutchyn is an assistant professor of Computer Science at
the University of Saskatchewan. He ranks programming as the most
important human-computer interaction, as it is the basis for all other
human-computer interactions, and programming languages as the
fundamental tool for this activity. His interest in programming
languages leads to central questions of semantic expressiveness, modular
structure, and irreducible complexity. He has PhD from UBC, studying
computation reflection and metaprogramming, especially aspect-oriented
languages. Recent work is on programming hybrid multi-processors,
functional GPU languages, and applying type systems to support agile
development.
Enjoy solving problems, eating pizza and getting prizes? Then come out for the Spring Programming Contest! It's a fun, local and free contest that is open to all students. Come out and claim the title of best problem solver. Novice and Intermediate levels are offered. You can register as a team or solo. When: Saturday, February 2nd, 2013The Spring Programming Contest is back!
The Department of Computer Science Professional Internship Program allows undergraduate students to obtain 12 or 16 months of practical "on-the-job" experience with a sponsoring company prior to completing the final year of their undergraduate degree program. The existence of a formally recognized internship program offers significant benefits to the students, to the industrial sponsors, to the department, and to the university as a whole. These benefits include: practical training and work experience for the students; technology transfer, productive work contribution, and prospective employee evaluation for the employer; and increased university-industry interaction for the department and the university. We are now accepting applications from companies and students interested in partcipating in the program. Interns will be placed in May/Sept 2013.
