Programming Languages, Software Verification
Learn about functional programming, low-level code, and compilers; build reliable software using interactive theorem proving.
Machine Biology Group
The Machine Biology Group seeks to develop the world's first computer-made molecular tools and medicines
Clinical Research in Liver Disease
Clinical research in various aspects of liver disease.
Tobacco, E-cigarettes, and Vaping: Treatment and Policy
Helping parents and teens quit smoking and vaping in CHOP Primary Care.
Innate immunity and inflammation in response to bacterial infections
Projects in the Brodsky lab focuses how bacterial pathogens are sensed by immune cells, how this sensing triggers subsequent responses that lead to antimicrobial immune defense, and how bacterial pathogens evade innate immune recognition.
Biomarkers quantification by liquid chromatography mass spectroscopy
Biomarkers quantification by liquid chromatography mass spectroscopy.
Pediatric Anesthesia Quality and Safety
Pediatric Anesthesia Quality, Safety and Outcomes
Natural Language Processing of Clinical Texts
Unlocking information and insights from clinical texts to improve patient care.
Mechanisms of topological deregulation in cancer
Our lab studies mechanisms of epigenetic deregulation and genome mis-folding in cancer.