Baker Mountain Research Corporation
We are a 501(c)3 non-profit scientific research corporation founded in 2010.
About Us
The mission of the Baker Mountain Research Corporation has three complementary aspects:
to advance scientific knowledge, to develop science-based solutions to local and global
challenges, and to foster scientific education.
A particular challenge we seek to address is the lack of scientific career and educational
opportunities in our region.
We work to build an interdisciplinary community that facilitates
synthetic and analytic exploration,
mentorship, sharing of experiences and which provides fair financial support.
Recent Presentations
- Dynamic Semantics of tau-N Theories presented at the Turning Centenary Conference held at Cambridge University. (conference site)
- Quantum Kan Extensions and Applications presented at the IARPA Quantum Computer Science PI workshop in Princeton, NJ. July 2012
- Logic-Based Methods for Assurance of Complex System Performance presented at the NASA IV&V workshop in Morgantown, WV. September 2012 (workshop site)
- Sketches, Views and Pattern-Based Reasoning to be presented at the 8th International Conference on Semantic Technologies for Intelligence, Defense and Security STIDS 2013
Copyright 2010-2015 © Baker Mountain Research Corporation
