-
logics; logical relations for relational reasoning about safety, liveness, and security properties; formal modeling of low-level capability machines and secure compilation; program logics for relaxed
-
farming systems. Your contributions will directly support the United Nations Sustainable Development Goals (SDGs), especially those related to food security, sustainability, and climate resilience. Expected
Enter an email to receive alerts for security-"https:" positions