Delves into the principles of food fermentation inspired by nature, exploring the historical background, benefits of probiotic-fermented foods, and safety aspects.
Explores the social dynamics of adoption and contagion on complex networks, emphasizing the emergence of novelties and the impact of social interactions.
Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.
