Scott Smolka has made fundamental contributions in the areas of probabilistic process algebra, computational model checking, and cardiac-cell modeling and analysis. He currently leads the “CyberCardia” project, a virtual-heart platform to improve and accelerate medical-device development and testing at a far lower cost than existing methods. CyberCardia also can be used to design optimal, patient-specific device therapies, thereby lowering the risk to the patient. He is also interested in the application of model-predicitve control to drone swarms for the purpose of flight formation and maneuvers.