Daniel S. Dantas

Ph.D in Computer Science
Princeton University

B.S. in Computer Science
Cornell University

email: daniel@dantasfiles.com

Information Security and Access Control
[Security Advice]

Design, Development, and Use of Programming Languages
[AspectML]

Distributed Systems and Networks
[PADS/D | MagnetOS]

PhD Research

ACM conference publishes Language Support for Processing Distributed Ad Hoc Data.

Symposium on Principles and Practice of Declarative Programming (PPDP '09). September 2009.

General Electric and Ronald A. Katz Technology Licensing settle patent lawsuit and enter into license agreement.

BusinessWire. February 11, 2009.

Princeton Commencement 2008: Hooding Ceremony.

Princeton Alumni Weekly. July 17, 2008.

Princeton University holds 261st Commencement.

Princeton University News. June 3, 2008.

ACM journal publishes AspectML: A Polymorphic Aspect-oriented Functional Programming Language.

Transactions on Programming Languages and Systems (TOPLAS '08). May 2008.

Air Force Office of Scientific Research continues history of success with National Defence Science and Engineering graduate fellowship program.

United States Air Force News. February 14, 2008.

ACM workshop publishes A Simple and Expressive Semantic Framework for Policy Composition in Access Control.

Formal Methods in Security Engineering: From Specifications to Code (FMSE '07). November 2, 2007.

ACM conference publishes Harmless Advice.

Symposium on Principles of Programming Languages (POPL '06). January 13, 2006.

ACM conference publishes PolyAML: A polymorphic aspect-oriented functional programmming language.

International Conference on Functional Programming (ICFP '05). September 28, 2005.

ACM workshop publishes Harmless Advice.

International Workshop on Foundations of Object-Oriented Languages (FOOL '05). January 15, 2005.

New Wu and Upton fellows welcomed to Princeton campus.

Princeton Engineering Quad News. Winter 2003.

Cornell Commencement 2002.

Cornell Chronicle. June 6, 2002.

ACM publishes On the Need for System-Level Support for Ad hoc and Sensor Networks.

Operating Systems Review. April 2002.

Cornell computer science awards.

Cornell Computer Science 1999-2000 Annual Report. .

Cornell students and faculty honored for their achievements.

Cornell Chronicle. May 25, 2000.

Five sophomores win Lockheed Martin research awards.

Cornell Computer Science News. March 13, 2000.