Daniel S Dantas |
Home | Research |
Experience |
Interests |
Education
2002 - 2007 |
Ph.D in Computer Science.
Gordon Wu Fellow.
National Defense Science and Engineering Fellow. Princeton University. Princeton, NJ. |
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.
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.

Summer 2001