Daniel S Dantas

Home

Research

Experience

Interests

Education


2002 - 2007
Ph.D in Computer Science.

1998 - 2002
B.S. in Computer Science [summa cum laude with honors].
Minor in Electrical and Computer Engineering.
Class Rank: 3rd in Computer Science..
John McMullen Dean's Scholar.
Cornell University: College of Engineering. Ithaca, NY.

Experience


2003 - 2007
Information Security and Programming Languages Research Assistant.
AspectML: An Aspect-Oriented Functional Programming Language.
Security Advice: Access Control through Aspect-oriented Programming
Advisor: David Walker
Princeton University. Princeton, NJ.

Summer 2006
Information Security Research Intern.
Modeling Access Control with Four-valued Logic
Supervisor: Glenn Bruns.
Bell Labs, Alcatel-Lucent. Lisle, IL.
2001 - 2002 Distributed Systems Undergraduate Researcher.
MagnetOS: A Distributed Operating System for Ad-hoc and Sensor Networks.
Advisor: Emin Gun Sirer.
Cornell University. Ithaca, NY.
Summer 2001 Dependable Distributed Systems Research Intern
ETHOR.ware: A Component Based Data-Flow Oriented Framework for Pervasive Dependability.
Supervisors: Karin Hogstedt and Christof Fetzer.
AT&T Labs Research. Florham Park, NJ.
Summer 1999 Java Developer.
Java Solutions for an Internet Opinion Polling Startup.
QTopics.com / DirectPoll.com Piscataway, NJ.

Summer 1997
Web Design Intern
Demonstration and Marketing of HP / AT&T E-commerce Software.
Hewlett Packard: Open Systems Software Division. Florham Park, NJ.

Service & Leadership

2003 - 2007. Graduate Student Representative to Faculty Leadership of Princeton Computer Science.
2005 - 2007. Student Leader and Treasurer of Princeton InterVarsity Graduate Fellowship.
2003, 2006 - 2007. Graduate Recruiter for the Princeton Engineering.
2006 - 2007. Undergraduate Recruiter for the Cornell Alumni Association.

Teaching Experience

Spring 2005. COS 126: General Computer Science.
Two teaching hours per week, exam design, office hours, and grading.
Spring 2004. COS 320: Compilers
Guest lecturer, project design, office hours, and grading.