The document was issued by academy or academy organization.
file
BIO
Ana Milanova is an associate professor in the Department of Computer Science at Rensselaer Polytechnic Institute. Her research interests are in the areas of software engineering, compilers, and programming languages. Particularly, she is interested in program analysis and its applications to security, software verification, testing and understanding.
news
Submitted by akarns on Tue, 01/30/2018 - 3:07pm
MC2 facilitates a wide variety of educational opportunities on the UMD campus. MC2 also sponsors a number of educational/outreach events for lower-school, middle-school, and high-school students, especially targeting women and under-represented minorities. MC2 will host two camps in Summer 2018 focusing on STEM and cybersecurity topics.
CyberSTEM Camp for Girls entering 7th and 8th Grade
Dates: Monday, July 16, 2018 - Friday, July 20, 2018
file
Stroke is a leading cause of long-term disability, with 80% of survivors having locomotor impairments. Individuals after stroke typically present with hemiparetic gait, characterized as slow, asymmetric, and inefficient. Our lab has been developing soft wearable cyber-physical sytems, called soft exosuits, that interface with paretic limb after stroke through soft and conformal textile-based structures to assist hemiparetic walking. Soft exosuits transmit mechanical power to human body joints via interaction between functional textiles worn on the body and Bowden cable retraction.
file
Our overall aim in this project is to synthesize desired behaviors in populations of bacterial and mammalian cells. To this goal, we define the basis of a next-generation cyber-physical system (CPS) called biological CPS (bioCPS). The enabling technologies are synthetic biology and micron-scale mobile robotics. Synthetic genetic circuits for decision making and local communication among the cells are automatically synthesized using a Bio-Design Automation (BDA) workflow.
file
This research assesses the threat of cyber-physical attacks to manufacturing systems that change the design of a physical part, elude quality control measures, and result in part failure. This goal is achieved through the development of: a cyber-physical attack taxonomy, framework to assess levels of cyber-physical vulnerability, models to detect and diagnose the presence of attacks in real-time, and side-channel detection techniques specific to manufacturing.
file
This project will design and implement a domain-specific language and compiler for microfluidic laboratory-on-a-chip (LoC) devices based on electrowetting-on-dielectric (EWoD) technology. The Lead PI's team has designed and implemented BioScript, a domain-specific programming language for programmable microfluidics. The BioScript syntax is programmer friendly, with the intention of being accessible to biologists and other researchers and practitioners in the life sciences.
file
The goal of this project is to create an integrative framework for the design of coupled biological and robotic systems that accommodates system uncertainties and competing objectives in a rigorous, holistic, and effective manner. The design principles are developed using a concrete, end-to-end application of tracking and modeling fish movement with a network of gliding robotic fish. The proposed robotic platform is an energy-efficient underwater gliding robotic fish that travels by changing its buoyancy and mass distribution (gliding) or by flapping tail fin (swimming).