This program supports research projects that develop new knowledge in theoretical computer science and software foundations. Specific projects in these areas can include:

  • Algorithmic research
  • Models of computation
  • Resource usage in areas other than time and space (like communication complexity and energy cost)
  • Computer systems evaluation
  • The relationship between software and software intensive systems

The size and length of awards will depend on the availability on funds. The submissions window is January 18 – February 1, 2013. For more information, see the link below:

http://www.nsf.gov/publications/pub_summ.jsp?ods_key=nsf12603