Cost analysis of hash collisions: will quantum computers make SHARCS obsolete? D. J. Bernstein University of Illinois at Chicago NSF ITR–

Source URL: www.hyperelliptic.org

• Theoretical computer science
• Emerging technologies
• Quantum information science
• Quantum computing
• Quantum cryptography
• Applied mathematics
• Quantum mechanics
• Quantum algorithm
• Hash function
• Quantum information
• Quantum machine learning

Alloy Modeling Language meets SMT-LIB Forrest Cinelli, Kyle McCormick, Dan Dougherty WPI NSF Supportand

Source URL: alloytools.org

• Mathematical logic
• Theoretical computer science
• Formal methods
• Constraint programming
• Alloy
• Massachusetts Institute of Technology
• Z notation
• Predicate logic
• SMT
• Predicate
• Constraint satisfaction problem
• Satisfiability modulo theories

Broader Impacts 2.0® Frequently Asked Questions About ‡ Revisions to NSF’s Broader Impacts Criterion Richard A. Tankersley1 and Patti Bourexis2

Source URL: www.cosee.net

Best Practices shared by the CCTA: Centers Collaborative for Technical Assistance The National Science Foundation’s Advanced Technological Education (NSF ATE) program focuses on the education of technicians

Source URL: connectedtech.org

NSF Engineering and High Performance Computing Pramod P. Khargonekar Assistant Director National Science Foundation Directorate of Engineering

Source URL: faculty.sites.uci.edu

Best Practices shared by the CCTA: Centers Collaborative for Technical Assistance The National Science Foundation’s Advanced Technological Education (NSF ATE) program focuses on the education of technicians

Source URL: connectedtech.org

NSF  III-­‐2010  Par0cipant  List First  Name Peggy Vassilis Ramazan Vineet

Source URL: people.cs.georgetown.edu

BRIEF SUMMARY OF RESULTS FROM PRIOR NSF SUPPORT Award Number: Award Period: Award Amount: $219,Title: The Settlement Pattern of Caracol

Source URL: caracol.org

MSEC2018 and NAMRC46 Student Travel Award Sponsored by: National Science Foundation (http://nsf.gov/) An anticipated National Science Foundation grant will provide support to select full-time students from U.S. institut

Source URL: msec-namrc-2018.tamu.edu

Appendix A Mentor-Connect Technical Assistance for Prospective Principal Investigators National Science Foundation, Advanced Technological Education Program (NSF ATE) www.nsf.gov/ate to access current NSF ATE solicitati

Source URL: www.mentor-connect.org