SAnToS welcomes Brian Larson as a new research associate

SAnToS Lab is pleased to welcome Brian Larson as a new research associate working in the area of medical device integration, coordination, and interoperability. He holds a Bachelor degree in Electrical Engineering and a Master degree in Computer Science from the University of Minnesota.

Mr. Larson is a principal at Multitude Corporation and an active member of the Architecture Analysis and Design Language (AADL) standard committee (SAE AS5506A -- http://standards.sae.org/as5506a/). He was a Principal Systems Engineer at Boston Scientific from 2005 through April 2010. Previously, he designed hardware of embedded systems for a large defense contractor and started a company to build supercomputers using a radically-different architecture (http://www.multitude.net/). For the supercomputer, he authored a concurrent programming language, and a proof-outline checker to assure total correctness and interference-freedom. BLESS -- an annex sublanguage of the Architecture Analysis and Design Language (AADL) standardized as AS5506A by SAE International, and its nascent proof tool, build upon this prior work.