Validating Hare’s Sort Module using Symbolic Execution via @RunxiYu https://lobste.rs/s/yoq0e6 #formalmethods #plt
https://notes.8pit.net/notes/y7n8.html
formalmethods
Interested in theoretical cryptography and/or formal methods? Boston University is hosting a summer school on Universally Composable Security and the EasyUC framework for formalizing UC models and proofs.
The school is from August 11 - 14, 2025. Registration is free, and we're supporting both in person and Zoom participation.
For more information and to register, visit:
I am hiring!
I have a fully funded PhD position available for someone with an interest in logic and statistics, at Delft University of Technology (Netherlands).
Application deadline: 31 August 2025
#AcademicJobs #AcademicMastodon #GetFediHired #AcademicJob #SymbolicAI #Statistics #AI #ConstraintProgramming #CombinatorialOptimisation #SensitivityAnalysis #FormalMethods #CombinatorialOptimization #Delft #TUDelft #AcademicChatter
Functional Algorithms, Verified https://lobste.rs/s/lqthae #pdf #formalmethods #plt
https://www21.in.tum.de/teaching/fds/SS21/assets/book-draft.pdf