Explores the direct dosage of powdered activated carbon for micropollutant removal and the characterisation of wastewater solids, including screenings production and grit removal.
Explores knowledge representation, information extraction, and the Semantic Web vision, emphasizing standardization, mapping, and ontologies in structuring data.
Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.
