Explores knowledge representation, information extraction, and the Semantic Web vision, emphasizing standardization, mapping, and ontologies in structuring data.
Discusses monitoring and recovery of water and waste in landfills and site waste management, emphasizing the importance of recycling construction materials.
Delves into urban metabolism, circular economy policies, and material stocks in cities, emphasizing the interplay between environmental assessment and urban functioning.
Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.