[pizza]

Maybe some admixture of machine learning meets compressive sensing meets logic meets complexity theory, and maybe some new software development tools/paradigms too