Curriculum Vitae

Name: David Jonathan Scott
Address:      Fraser Research
182 Nassau Street, Suite 301
Princeton
NJ 08542
USA
     
Email:
Telephone (US): +1 609 497 7337
Fax (US): +1 609 497 7335
Telephone (UK cell): +44 (0)7974 721433
Webpage: http://www.recoil.org/~djs/
DOB: 09-03-1978

Education and Qualifications

2000 - 2005: University of Cambridge    (PhD in Engineering)
         Thesis title: "Abstracting Application-Level Security Policy for Ubiquitous Computing"
 
1996 - 1999: University of Cambridge    (BA Honours in Computer Science)
         Part II: Computer science tripos Class: 1st
Part 1B: Computer science tripos Class: 1st
Part 1A: Computer science, maths and physics     Class: 1st
 
1989 - 1996: Methodist College Belfast
         A Levels: Further Pure Maths, Further Mechanics, Physics, Chemistry    (AAAA)

Awards

  • Received European Association of Software Science and Technology (EASST) prize for Best Software Science Paper at the FASE2003 conference (part of ETAPS 2003). See publications list below.
  • Received IBM Best Paper Award at the ACM WWW2002 conference for a paper on Application-Level Web-Security (out of 454 paper submissions). See publications list below.
  • Awarded College Scholarships (1997-98) and elected College Senior Scholar (1998).

Selected Publications

Toye, Sharp, Madhavapeddy, Scott, Upton, Blackwell Interacting with Mobile Services: An Evaluation of Camera-Phones and Visual Tags To appear in Personal and Ubiquitous Computing Journal, late 2005
Madhavapeddy, Scott, Sharp SPLAT: A Tool for Model-Checking and Dynamically Enforcing Abstractions Proceedings of the 12th International SPIN Workshop on Model Checking of Software (SPIN 2005), August 2005
Madhavapeddy, Scott On the Challenge of Delivering High-Performance, Dependable, Model-Checked Internet Servers Appeared in the first workshop on Hot Topics in System Dependability (HotDep-05), June 2005.
Scott, Sharp, Madhavapeddy, Upton Using Camera-Enabled Personal Devices to Access Bluetooth Mobile Services Appeared in ACM Mobile Computing and Communication Review (MC2R), January 2005
Mansley, Beresford, Scott The Carrot Approach: Encouraging use of location systems Presented at: The Fifth International Conference on Ubiquitous Computing (UBICOMP 2004), September 2004.
Mansley, Scott, Tse, Madhavapeddy Feedback, Latency, Accuracy: Exploring Tradeoffs in Location-Aware Gaming Presented at: NetGames 2004, in conjunction with ACM SIGCOMM 2004, August 2004
Madhavapeddy, Scott, Sharp Context-Aware Computing with Sound Presented at: The Fifth International Conference on Ubiquitous Computing (UBICOMP 2003), October 2003.
Scott, Sharp Specifying and Enforcing Application-Level Web Security Policies Invited contribution to Jul/Aug 2003 IEEE Transactions in Knowledge and Data Engineering (TKDE).
Madhavapeddy, Mycroft, Scott, Sharp The Case for Abstracting Security Policies Presented at The 2003 International Conference on Security and Management , June 2003.
Scott, Beresford, Mycroft Spatial Security Policies for Mobile Agents in a Sentient Computing environment Presented at FASE 2003 (part of ETAPS 2003), April 2003. Also received the EASST Best Software Science Paper award.
Scott, Sharp Developing Secure Web Applications IEEE Internet Computing Magazine in the Nov/Dec 2002 special issue on The Technology of Trust.
Scott, Sharp Abstracting Application-Level Web Security Proceedings of the 11th International World-Wide Web conference (WWW2002). Also received the "Best Paper" award.

Selected Work Experience

2005-current        Research Scientist (Fraser Research): Currently working on aspects of a clean-slate broadband network design.
2003-2005        Director (High Energy Magic Ltd): Small high-tech startup developing image processing software for mobile phones. Videos and more information about the software is available from http://www.cl.cam.ac.uk/Research/SRG/netos/uid/spotcode.html.
Summer 2003        Senior Technical Associate (Fraser Research): Designed, modelchecked and created prototype implementations of network protocols suitable for use in the home.
1999-2000        Research Engineer (AT&T Laboratories Cambridge Ltd): Worked on the CORBA IDL to C++ compiler which is part of OmniORB: a high-performance cross-platform middleware system.

Skills and Qualities

  • Programming experience in a variety of languages including C/C++, O'Caml, SML, Java, perl, Python
  • Familiarity with a number of platforms including various flavours of Windows, Unix and Symbian
  • Experience of networking (from low-level kernel programming, through middleware up to applications), security, databases, compiler writing and image processing
  • Friendly, tolerant and hard working both individually and as part of a team

Extra Curricular Activities

Referees

Available on request