Technology Transfer (HCSS'12)

file

Visible to the public Tech Transfer of Software Tools

Abstract:

"Invent a better mousetrap and the world will beat a path to your door? Not!"

Great ideas and even great research does not sell itself. Someone has to convince an organization to turn an idea into a workable application and then convince many people to use it. In a university or research lab, this process is called tech transfer and is rarely done well.

file

Visible to the public Technology Transfer Challenges with the S&T Community

Biography:

Ms. Dawn C. Meyerriecks currently serves as the Assistant Director of National Intelligence for Acquisition, Technology & Facilities. In this role, she explores and delivers complex technologies underpinning national missions.

file

Visible to the public Accessible Integrated Formal Reasoning Environments in Classroom Instruction of Mathematics

Abstract:

Computer science researchers in the programming languages and formal verification communities, among others, have produced a variety of automated assistance and verification tools and techniques for formal reasoning: parsers, evaluators, proof-authoring systems, software and hardware. These leading-edge advances remain largely underutilized by large populations of potential users that may benefit from them. Among these are instructors and students engaged in the undergraduate-level instruction and study of mathematics.