Covers challenges in protein design, energy functions, search algorithms, and applications in synthetic biology, emphasizing the importance of protein design and the methods used for designing proteins.
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.