Explores environmental computational science and earth observation through accurate deep learning models for monitoring, integrating domain knowledge in species models, and enhancing image search.
Covers Solver-Aided Programming, integrating SMT solvers for program verification, synthesis, and debugging, along with challenges in building solver-aided tools.
Explores urban sustainability assessment, focusing on decision-making for sustainable cities through approaches, solution spaces, and indicator selection.
