Explores enantioselective C-H activation reactions using Cu, Rh, and Ni catalysts for functionalization of olefins, alkynes, and alkenes.
Explores the mechanics and failure mechanisms of composite materials, including matrix cracking, fiber breakage, and delamination.
Covers query optimization, from logical to physical plans, including query transformation and cost estimation.
Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.
Explores sensor technologies in MEMS, focusing on pressure sensors, accelerometers, and gyroscopes, and highlights the significance of sensor fusion.
