-
for reactive synthesis. This allows us to describe dynamic behaviors in complex environments over time. You will work with formal tools such as: Planning domains and temporal logic — to describe the required
-
computational costs by orders of magnitude and enabling breakthroughs in drug design and materials science. The position bridges machine learning and molecular science, with opportunities for collaboration
Enter an email to receive alerts for computational-complexity-"Prof" positions