Day: November 16, 2012

Science, Mathematics And Research for Transformation (SMART) Defense Scholarship

The Science, Mathematics And Research for Transformation (SMART) Scholarship for Service Program has been established by the Department of Defense (DoD) to support undergraduate and graduate students pursuing degrees in Science, Technology, Engineering and Mathematics (STEM) disciplines. The program aims to increase the number of civilian scientists and engineers working at DoD laboratories. Learn More >

Application deadline: December 14, 2012

To apply online,

Graduate applicants can be either currently enrolled in a regionally accredited U.S. college or university or awaiting notification of admission to such. If awaiting admission, you must be accepted for entrance in the fall 2013 term.  For more on eligibility,

Participants in the SMART Scholarship for Service Program receive:

  • Full tuition and education related fees (does not include items such as meal plans, housing, or parking)
  • Stipend paid at a rate of $25,000 – $38,000 depending on degree pursuing (may be prorated depending on award length)
  • Paid summer internships
  • Health Insurance allowance up to $1,200 per calendar year
  • Book allowance of $1,000 per academic year
  • Mentoring
  • Employment placement after graduation

PVS Tutorial Offered

Associate Professor Ali Ebnenasir (CS) and PhD student Amer Tahat (CS) will be conducting tutorials on the Prototype Verification System (PVS) at 4:30 p.m., Monday, Nov. 19, in Rekhi 101. Space is limited, so arrive early.

The PVS is one of the premier theorem provers developed at the Stanford Research Institute. This tutorial provides a basic understanding of PVS along with elementary techniques for the verification of computing systems in theorem proving. PVS has been used in the verification of numerous real-world applications such as Aircraft Transportation and Navigation Systems, Nuclear Plants Safety Systems and Spacecraft Autonomy and AI Planning.

This tutorial will be offered for faculty researchers and graduate students with generous technical support from the Formal Methods group at NASA Langley and the PVS group at SRI. Prerequisites include preliminary knowledge of propositional and predicate logics.

For more information, see Research.

If you have any questions, contact Ebnenasir at 487-4372 or .

Published in Tech Today