Taxonomic Search: dan OR huttenlocher

Results 1 - 10 of 121



Visible to the public CPS:Medium: Tightly Integrated Perception and Planning in Intelligent Robotics

The objective of this research is to develop truly intelligent, automated driving through a new paradigm that tightly integrates probabilistic perception and deterministic planning in a formal, verifiable framework.


Visible to the public News Articles about Wyvern

This thread is about new articles about the Wyvern project. Wyvern is a new programming language designed to help developers be highly productive when writing high-assurance applications.The Wyvern project is supported by the National Security Agency lablet at Carnegie Mellon University.


Visible to the public T.S. Kuhn Revisited "Does a field make progress because it is a science, or is it a science because it makes progress?"

Dan Geer, NSF, 6 January 15Dan Geer, Chief Information Security Officer at In-Q-Tel gave the keynote address at the NSF Secure and Trustworthy Cyberspace Principal Investigators' Meeting held January 5-7, 2015 in Arlington, Virginia. Read the complete text version of the keynote address below.

Dan Geer, NSF, 6 January 15


Visible to the public Project Artifacts

Lead PI Poster Title Poster Session Presenter Award Number Loc. Artifacts
Aaron Ames (Texas A&M) Correct-by-Design Control Software Synthesis for Highly Dynamic Systems

Visible to the public 3rd Annual Best Scientific Cybersecurity Paper Competition


Visible to the public  ASPLOS 2015
Mar 14, 2015 8:00 am - Mar 18, 2015 5:00 pm EDT

20th International Conference on Architectural Support for Programming Languages and Operating Systems

ASPLOS is the premier forum for multidisciplinary systems research spanning computer architecture and hardware, programming languages and
compilers, operating systems and networking, as well as applications and user interfaces. The 2015 conference will be held in Istanbul, Turkey, a city where two continents meet on the blue waters of the Bosphorus to offer an abundance of unique natural, historical, cultural, and culinary experiences.


Visible to the public INSIGHT: Infusing System Design and Sensor Technology in K-12 Education


INSIGHT, an innovative GK-12 STEM Fellowship Program integrates sensor technology with computing and information science in a standards-based science, technology, and engineering curricula. GK-12 STEM Fellows are teamed with science, technology, and physical education teachers for two years to carry out hands-on classroom activities utilizing technology and engineering practice with a focus on the use of sensors, computing, and information technology aligned with state curriculum standards.