Covers theory and practical applications of protein folding simulations using molecular dynamics, focusing on solvent effects and analysis of folding dynamics.
Covers algorithmic paradigms for dynamic graph problems, including dynamic connectivity, expander decomposition, and local clustering, breaking barriers in k-vertex connectivity problems.