Carl Livadas, Ph.D. NetShelter Technology Media Chief Scientist 128 King Street, Third Floor San Francisco, CA 94107 Tel. +1.415.796.7800 [W] Tel. +1.617.642.4249 [C] Email     [username] [at] alum.mit.edu URL http://people.csail.mit.edu/clivadas/

Resume: [pdf,ps] CV: [pdf,ps,txt]

Education

• 2003/09 Ph.D. Electrical Engineering and Computer Science, MIT
• 1997/09 M.Eng. Electrical Engineering and Computer Science, MIT
• 1996/02 SM Aeronautics and Astronautics, MIT
• 1993/09 SB Computer Science, MIT
• 1993/06 SB Aeronautics and Astronautics, MIT

Experience

• NetShelter Technology Media

  Chief Scientist
  April 2011-Present

• KAYAK

  Director of Engineering
  April 2010-March 2011

  Principal Scientist
  April 2009-April 2010

  Leading the engineering efforts of KAYAK's Sunnyvale office focusing on KAYAK's email, deals, online advertising, and parts of the mobile application products. As a principal scientist, focused on efforts to regionalize/personalize KAYAK's products and optimize performance.

• Intel Corporation

  Research Scientist, Networking Technology Group (NTL), Corporate Technology Group (CTG)
  January 2008-April 2009

  Research Scientist (Consulting), Intel Research Santa Clara (IRSC), Corporate Technology Group (CTG)
  October 2006-December 2008

  Manager: Dr. Eve M. Schooler
  

  Contributing to several aspects of the Distributed Detection and Inference (DDI) project. DDI is a collaborative worm detection system involving local and global detectors on end-hosts. Local detectors issue and disseminate local infection reports indicating whether the end-host is infected. Global detectors collect local infection reports and issue system-wide alarms when the infection evidence has sufficiently been corroborated. Prior and current work includes the design and implementation of: 1) an adaptive local detector that adjusts the threshold of issuing alarms based on a learned model of its behavior, 2) a faithful analytic model of the behavior of DDI; this model is critical in understanding the behavior of the system, evaluating its performance and scalability properties, and exploring its parameter space, and 3) efficient and scalable gossip-based messaging and membership services for DDI.

• BBN Technologies, Cambridge, MA
  Network Scientist, Internetwork Research Department
  September 2003-October 2006
  Manager: Dr. W. Timothy Strayer
  

  Conducted cutting edge research in computer networks. Contributed to the following projects: ZombieStones; A system that leverages machine learning techniques to identify network connections that are part of suspicious botnets. IP-SPOOR; An entropy-based study of how to place network traffic monitors for effective IP packet traceback (i.e., tracing an IP packet involved in a cyber-attack back to its true source host). Stepping Stones; A system that identifies interactive connections that are used in sequence to obfuscate the origin of a cyber-attack. Stingray; An insider threat detection system that uses Bloom filters to efficiently log large amounts of network traffic and principal components analysis and machine learning techniques to detect network traffic anomalies. Performance Evaluation of a Proprietary Network; An evaluation of the performance of a proprietary network (disclosure of details of this project is restricted).

• MIT, Laboratory for Computer Science
  Research Assistant, Theory of Distributed Systems Group January
  1999-August 2003; Cambridge, MA
  Research Advisor: Prof. Nancy A. Lynch.
  

  Designed, modeled, and analyzed (both formally and through simulation) a variant of the Scalable Reliable Multicast (SRM) protocol that exploits packet loss locality through caching.

• MIT, $50K Entrepreneurship Competition
  Semi-finalist, Prosopa.com
  January 2000-May 2000; Cambridge MA
  

  Prosopa.com leveraged audio and video technology developed at the MIT AI Lab to deliver photo-realistic talking faces driven by text or audio. Prosopa.com's target markets included personalized video advertisements, customer support applications, and automated news-readers.

• IBM, Thomas J. Watson Research Center
  Summer Intern, Commercial Parallel Systems Group
  Summer 1999; Yorktown Heights, NY
  

  Researched the area of persistent TCP connections, a feature included in HTTP 1.1. Developed a simulator to evaluate the performance of persistent TCP connections between proxy and back-end servers.

• MIT, $50K Entrepreneurship Competition
  Semi-finalist, FairTrust, Inc. (now OpenRatings, Inc.)
  January 1999-May 1999; Cambridge, MA
  

  FairTrust, Inc. delivered consumer-to-consumer trustworthiness rating services to online communities such as E-bay, Inc. FairTrust, Inc. has since transformed itself into OpenRatings, Inc. (www.openratings.com).

• MIT, Laboratory for Computer Science
  Research Assistant, Theory of Distributed Systems Group
  June 1996-Jan. 1997 & June 1997-Jan. 1999; Cambridge, MA
  Research Advisor: Prof. Nancy A. Lynch.
  

  Participated in research involving the modeling and verification of hybrid systems using Hybrid I/O Automata. Performed modeling and verification of Raytheon Corporation's Personal Rapid Transit system (PRT 2000TM) and the Traffic Alert and Collision Avoidance System (TCAS) of commercial aircraft.

• MIT, Department of Electrical Engineering and Computer Science
  Teaching Assistant
  Cambridge, MA
  

  Math for Computer Science (6.042), Spring 2000
  Lab. in Software Engineering (6.170), Spring 1997
  Lab. in Software Engineering (6.170), Spring 1996
  Computer Language Eng. (6.035), Fall 1995.

• MIT, Department of Aeronautics and Astronautics
  Research Assistant, Space Engineering Research Center
  September 1993-August 1995; Cambridge, MA
  Research Advisor: Prof. Stephen R. Hall.
  

  Developed a formulation of H₂ robustness criteria for systems involving real parametric uncertainties in terms of linear matrix inequalities (LMIs) and an iterative robust H₂ controller synthesis scheme.