Generate a tailored SOP for Dr. Evan Cavallo. Improve your application with a focused, well-structured draft.
Evan Cavallo is a postdoctoral researcher at the University of Gothenburg, specializing in Logic Types. His work includes exploring topics related to the theory behind cartesian cubes and their applications in various mathematical frameworks. He has contributed significantly to the field, with several publications in reputable journals including the Canadian Journal of Mathematics and Leibniz International Proceedings Informatics. Cavallo's research emphasizes the automation of boundary filling using Cubical Agda, reflecting his engagement with contemporary computational methods.
University of Gothenburg • Gothenburg, Sweden
Conducting postdoctoral research in Logic Types and their applications.
Administered by the Department of Political Science; focus on International Administration and Global Governance (IAGG).