Date: Wednesday, Nov. 19, 2003 Time: 3:30 p.m. to 4:20 p.m. Place: Room ITC317 550 Windsor Street Computer Science Information Technology Centre University of New Brunswick Fredericton, NB
Abstract: Good programming languages make it easier for a Software Engineer to write maintainable, error-free programs. This requires strong support for abstraction and verification. Functional Programming Languages in particular excel at providing these two attributes. Haskell, an example of a pure Functional Programming Language, will be discussed in the context of its suitability for engineering of reliable software.
About the speaker: Kevin Everets is currently finishing his M.A.Sc. in Software Engineering which he started in 2001 through the Department of Computing and Software at McMaster University. Before that, Kevin received his B.Sc. in Electrical Engineering from Queens University, in 2000. From 2000 to 2002 he worked as a Software Engineer at Newbridge Networks (which became a division of Alcatel) developing Firmware Design for IP/ATM routers. He is currently working on the re-engineering of legacy assembly code used by Ontario Power Generation. His research interests span both software and computer engineering.
Note: The talk is co-sponsored between the IEEE New Brunswick Computer Chapter and the Faculty of Computer Science of the University of New Brunswick. This seminar is open to the public. It is not necessary to reserve a place or ask if you are permitted to attend. Light refreshments will be available from 3:20 a.m.