Antonina Kolokolova

Graduate Students

Renesa Nizamee completed his MSc thesis "Intrinsic hardness of structure approximation" in spring of 2014.

Abdullah Faruq is doing his MSc on route planning for AUVs with terrain navigation capabilities.

Tamkin Khan Avi did his MSc thesis on using a variety of solvers (Pseudo-Boolean, LP, SAT/SMT) for AUV mission planning. Tamkin developed much of the Searistica project, in particular the software and solver comparison.