David Benoit, B.Sc., M.Math.
+1 (902) 454-9557
benoit at xdal dot org
5550 Duffus Place
Halifax, Nova Scotia, Canada
B3K 2M4

Education:
Masters: M.Math, Computer Science, June 1999, University of Waterloo, Waterloo, Ontario.
Undergraduate: B.Sc. Honours, Computing Science, May 1997, Dalhousie University, Halifax, Nova Scotia.
Computing:
Languages: C++/C, Java, Awk/Gawk, Lex/Yacc, Tk/Tcl, SGML, HTML, XML, SQL, LISP, FORTRAN, ProLog, Smalltalk, Maple, x86 Assembly, Perl, Visual Basic, Unix Shell scripting.
Libraries & Environments: Boost, STL, SigC++, GDK/GTK+, Gnome, IPv4, IPv6, JRun, .NET, CSS
Operating Systems: Linux, Solaris, SunOS, RIM OS, IRIX, AIX, VAX/VMS, Windows 95/98/2000/NT/XP/CE, DOS, Macintosh.
Software: Emacs, MySQL, vi, X, CVS, RCS, Maple, HP OpenView, SNMP, Open Office, Microsoft Office, Lotus Suite, WordPerfect Suite, XRunner, dBase, Internet & Communications Software, etc.
Hardware: RIM 950/957/Blackberry, Palm Devices, DAP Handhelds, Compaq iPaq, Microcomputers, Workstations, Peripherals, Serial Controllers, Network Installation and maintenance.
Applications:
  • Web activated and controlled calling for AOL Voice Services.
  • RTP Transcoder which converts between Speex, iLBC, GSM and PCMU codecs.
  • Host Media Processing Engine for AOL Voice Services
  • Server-hosted SIP conference server with hardware audio mixing control.
  • SIP & RTP stacks.
  • Real-time data aquisition and terminal programming application in CE.
  • Data security and encryption methods for online payment.
  • MWI (Message Waiting Indication) Gateway for large scale generic routing of voicemail indication to a specific communication method. SMDI and ISVM Gateways including all flow control and low level communication.
  • Real-time multicasting system for call notification.
  • H.225 gatekeeper.
  • Large-scale, high-performance server to provide presence management for UDP-based clients. This server also integrates with several event connections to provide the clients with real-time notification of each type of event and acts as a gateway for dispositions from the clients.
  • Large-scale user profile management system.
  • Unix/Linux-based core implementation for the Internet Call Manager application.
  • Real-time call disposition client for the RIM 950/957/Blackberry devices and the Mobitex and DataTAC networks.
  • Co- Design, development and testing of a C++ Object-Oriented socket library for use in real-time systems on Unix/Linux.
  • Design, development and testing of the Key-Value-Pair-Protocol (KVPP) which provides a means of designing efficient, flexible, portable, and easy to use messaging between network-based applications.
  • Ticket Tracking System (TTS) designed to track problems, and change requests.
  • Micro-kernel multitasking real-time Operating System for the i486 processor.
  • GUI-based event manager to monitor and test SNMP based network management software.
  • Feature testing for SNMP device management software.
  • Test suite automation software.
  • ATM Congestion control algorithm simulator.
  • Co site coordinator for the Internet Media Lounge for the G7 Economic Summit in Halifax.
  • Software distribution system for Chebucto Suite.
  • On-line faculty information database for the Department of Mathematics, Statistics and Computing Science at Dalhousie University.
  • Installation and setup of Public Access Terminals for the Chebucto Community Net.
  • Network installation and initial administration for a start-up ISP.
  • Registration and management system for the Nova Scotia Figure Stating Training Centre.
  • On-line course evaluation system for the Department of Mathematics, Statistics and Computing Science at Dalhousie University.
  • Implementation and administration of the undergraduate Dalhousie University MSCS Web server.
  • On-line campus tour of Dalhousie University.
  • Custom software development for Chebucto Community Net Public Access Terminals.
  • Library Management System developed for SHL Systemhouse.
  • Hardware/Software inventory management procedures developed for use at SHL Systemhouse.
Work Experience:
Jan 2008 -
present
Microsoft
Redmond, Washington
Dec 2003 -
Dec 2007
Principal Software Engineer
AOL / InfoInteractive Corp.
Bedford, Nova Scotia
Dec 2002 -
May 2007
Vice President & Chief Technical Officer
Invio Bioinformatics, Inc.
Halifax, Nova Scotia
Mar 2002 -
Feb 2003
Senior Software Developer
J.J. MacKay Canada Ltd.
Halifax, Nova Scotia
Nov 1998 -
Mar 2002
Senior Software Engineer
AOL / InfoInteractive, Core Systems Team
Bedford, Nova Scotia
May -
Aug 2002
Lecturer: Object-Oriented Programming
Faculty of Computer Science, Dalhousie University
Halifax, Nova Scotia
Jan -
Apr 2002
Lecturer: Cryptography and Network Security
Department of Math and Computing Science, St. Mary's University
Halifax, Nova Scotia
Sept 1997 -
Nov 1998
Teaching Assistant / Research Assistant
Department of Computer Science, University of Waterloo
Waterloo, Ontario
May -
Sept 1997
Software Designer
Nortel
Ottawa, Ontario
May -
Sept 1996
Automation Specialist
Bell Northern Research
Ottawa, Ontario
Sept 1995 -
May 1997
Tutorial Leader / Marker
Department of Mathematics, Statistics and Computing Science, Dalhousie University
Halifax, Nova Scotia
Sept 1994 -
May 1997
Assistant Systems Support
Department of Mathematics, Statistics and Computing Science, Dalhousie University
Halifax, Nova Scotia
Sept 1994 -
May 1996
Program Assistant / Teaching Assistant
University Computing and information Services, Dalhousie University
Halifax, Nova Scotia
May -
Sept 1994
Junior Programmer
SHL Systemhouse
Halifax, Nova Scotia
Awards:
  • US Patent #7,110,748 B2: Telephone Call Manager.
  • Deans List, Dalhousie University, 1997.
  • Second Place standing in the 1995 APICS Programming Competition.
  • Gold Medal and Certificate of Distinction in the Euclid Mathematics Contest, 1993.
  • Third Place standing and Certificate of Merit in the Nova Scotia/Prince Edward Island Secondary School Physics Examination, 1993.
  • Leon Doof Music Scholarship for excellence and outstanding achievement in Music, 1993.
Publications:
  • David Benoit, Erik D. Demaine, J. Ian Munro, Rajeev Raman, Venkatesh Raman and S. Srinivas Rao, "Representing Trees of Higher Degree", Algorithmica, Vol. 43, Number 4, December 2005.
  • David Benoit, Erik D. Demaine, J. Ian Munro and Venkatesh Raman, "Representing Trees of Higher Degree", Proceedings of the 6th International Workshop on Algorithms and Data Structures (WADS '99), Vancouver, Canada, August 1999.
  • David Benoit, Compact Tree Representations, Masters Thesis, University of Waterloo, Waterloo, Ontario, November 1998.
Hobbies & Recreational Interests:
Ultimate, Skating, Soccer, Cycling, Softball, Skiing, Racquetball, Swimming, Classical Music, Photography, Art, Woodworking, Home Renovations, Computer Graphics & Animation, Electronics.
References:
Available upon request.