I am fascinated by the reliable computational multiphysics and multiscale modeling of complex systems as a way to decrease the time and cost of engineering design. Laboratory time and prototypes are expensive, so it makes sense to rule out as many bad ideas as possible first, whether that is just by making sure that all of the parts will fit inside your package or whether it involves complicated multiphysics modeling across a range of disciplines to make sure that flight software operates as expected. My current work as a Research Engineer at Ames uses simulations of aircraft and spacecraft to test flight software.

ACADEMIC TRAINING

Stanford University, Stanford, CA:

Northern Arizona University, Flagstaff, AZ :

DISSERTATION

"From Chains to Networks: An Adaptive, Coarse-Grained Method for Simulating Elastomers at the Rubbery Plateau" A novel network-based, adaptively coarse-graining computational model for the simulation of polymer materials at the rubbery plateau. Physics in the system is accounted for at scales between the macroscale and a chain-length.

JOURNAL PAPERS

G. Gay, T. Menzies, M. Davies, and K. Gundy-Burlet. “Automatically finding the control variables for complex system behavior.” Automated Software Engineering 17(4), December 2010, pp 439-468.

CONFERENCE PAPERS

Y. He, H.K.H. Lee, and M. Davies. “Towards Validation of an Adaptive Flight Control Simulation Using Statistical Emulation.” AIAA Infotech@Aerospace Conference, Garden Grove, CA, Jun. 19-21, 2012

M. Davies, C. Pasareanau, and V. Raman. “Symbolic Excecution Enhanced System Testing.” Verified Software: Theories, Tools and Experiments, Philadelphia, PA, Jan. 28-29, 2012 R. Joshi, P. Müller, and A. Podelski (Eds.): VSSTE 2012, LNCS 7152, pp. 294--309. Springer, Heidelberg (2012)

M. Davies, and G. Limes. “Finding System-Level Failures In Flight-Critical Software Systems.” Digital Aviation Systems Conference, Seattle, WA, Oct. 16-20, 2011

M. Davies, G. Limes and K. Gundy-Burlet. “A Hardware Model Validation Tool for Use in Complex Systems.” AIAA Space Conference, Anaheim, CA, Aug. 31-Sep. 2, 2010

M. Davies and K. Gundy-Burlet. “Visualization of Global Sensitivity Analysis Results Based on a Combination of Linearly Dependent and Independent Directions.” AIAA Infotech@Aerospace Conference, Atlanta, GA, Apr. 20, 2010

S. Thompson, M. Davies and K. Gundy-Burlet. “Hybrid Decompositional Verification for Discovering Failures in Adaptive Flight Control Systems.” AIAA Infotech@Aerospace Conference, Atlanta, GA, Apr. 20, 2010

M. Davies and A. Lew. “Tests of the Affinity Assumption in Phantomlike Elastomer Networks“, in Active Polymers, edited by A. Lendlein, V. Prasad Shastri, K. Gall (Mater. Res. Soc. Symp. Proc. Volume 1190,Warrendale, PA, 2009), 1190-NN11-38.

K. Krishnakumar, K. Gundy-Burlet, M. Aftosmis, M. Nemec, G. Limes and M. Berry (Davies). “Intelligent Control for the BEES Flyer.” AIAA-2004-6274 AIAA 1st Intelligent Systems Technical Conference, Chicago, Illinois, Sep. 20-22, 2004

D. Dasgupta, K. Krishnakumar, D. Wong, and M. Berry (Davies). “Immunity-Based Aircraft Fault Detection System.” AIAA-2004-6277 AIAA 1st Intelligent Systems Technical Conference, Chicago, Illinois, Sep. 20-22,2004

M. Berry (Davies), "Computational Fluid Dynamics Simulations of the Container Express as a Helicopter Slung Load." FEDSM2003-45753 2nd Place Winner for the International Student Paper Competition in the 4th ASME/JSME Joint Fluids Engineering Conference, Honolulu, HI, Summer 2003

CONFERENCE PRESENTATIONS

M. Davies. “Assurance of Flight-Critical Software-Intensive Systems.” 1st AIAA Complex Aerospace Systems Exchange, Sep. 11-13, 2012.

Berry (Davies), M. & Duque, E.P.N. "Experience Running Overflow on a Beowulf Cluster." 6th Overset Composite Grid and Solution Technology Symposium, Ft. Walton Beach, FL, Oct. 8-10 2002