Daniel S. DantasPh.D in Computer SciencePrinceton University B.S. in Computer Science Cornell University email: daniel@dantasfiles.com |
![]() |
Research and Design specialization in:
| Information Security and Access Control [Security Advice] |
Design, Development, and Use of Programming Languages [AspectML] |
Distributed Systems and Networks [PADS/D | MagnetOS] |
PhD Research |
Experience |
Interests |
News
Symposium on Principles and Practice of Declarative Programming (PPDP '09). September 2009.
BusinessWire. February 11, 2009.
Princeton Alumni Weekly. July 17, 2008.
Princeton University News. June 3, 2008.
Transactions on Programming Languages and Systems (TOPLAS '08). May 2008.
United States Air Force News. February 14, 2008.
Formal Methods in Security Engineering: From Specifications to Code (FMSE '07). November 2, 2007.
Symposium on Principles of Programming Languages (POPL '06). January 13, 2006.
International Conference on Functional Programming (ICFP '05). September 28, 2005.
International Workshop on Foundations of Object-Oriented Languages (FOOL '05). January 15, 2005.
Princeton Engineering Quad News. Winter 2003.
Cornell Chronicle. June 6, 2002.
Operating Systems Review. April 2002.
Cornell Computer Science 1999-2000 Annual Report. .
Cornell Chronicle. May 25, 2000.
Cornell Computer Science News. March 13, 2000.
