Smart Information Flow Technologies (SIFT) is a research and development consulting company specializing in Human Factors and Artificial Intelligence. SIFT's goal is to make the information flow between humans and technology better for both sides -- more efficient, productive, pleasant, and safer. In order to achieve this goal SIFT employs top engineers in the fields of Computer Science and Psychology who specialize in Human Computer Interaction, Interface Design, Human Performance, Artificial Intelligence, Network and Cybersecurity, and Politeness and Etiquette models.
Since our inception in 1999, SIFT personnel have extended the state of the art in a wide range of domains from commercial and military flight decks to DoD small unit operations and have authored well over a hundred papers documenting our many contributions to the state of the art in multiple fields.
An article by SIFT researchers Robert Goldman, Michael Pelican, and David Musliner has appeared in the International Journal of Software Tools for Technology Transfer, Volume 16, Issue 1, pages 13-29, 2014.
Titled "A loop acceleration technique to speed up verification of automatically generated plans", this paper describes a method for dramatically improving the speed at which the CIRCA automated controller synthesis and verification system can create guaranteed-safe plans.
SIFT Principal Researcher Dan Thomsen has two chapters in the new Handbook of Human Computation, edited by Pietro Michelucci and published by Springer in December 2013.
The first chapter "Solving Wicked Problems" discusses using crowds to solve problems so challenging people cannot even tell if a problem is solved. The second chapter "Applying Security Lessons Learned to Human Computation Solving Systems" tries to ensure this emerging field doesn't fall into the same old security pitfalls.
Three papers by SIFT researchers have been accepted for presentation at the AAAI Spring Symposia Series to be held in Palo Alto, CA on March 24-26:
Christopher Miller will present his paper “Trust and Delegation: Achieving Robust Interactions with Subordinates,” which discusses the role of delegation interactions with automation, in the symposium on The Intersection of Robust Intelligence and Trust in Autonomous Systems.
Eric Engstrom will present “An Interaction Fit Analysis Technique and its Applications” by Christopher Miller, Jeffrey Rye, Peggy Wu, and Eric Engstrom, which reports SIFT work developing the MAID (see our ~/demos page) tool for NASA and the U.S. Navy, in the symposium on Formal Verification and Modeling in Human-Machine Systems.
Dan Bryce will present his paper “Explaining verifier traces with EBL,” which discusses how to create succinct explanations of root causes and unique events in probabilistic counter-examples, in the symposium on Formal Verification and Modeling in Human-Machine Systems.
The paper "Landmark-based Distance Measures for Diverse Planning" authored by SIFT Senior Researcher Dr. Dan Bryce has been accepted for the 24th International Conference on Automated Planning and Scheduling (ICAPS-14).