Ph.D. Student @ MPI-SWS / Formal Verification / Distributed Systems / Concurrency Theory
- Germany
- joulook.github.io
- @Mh_khoshechin
Highlights
- Pro
Lists (1)
Sort Name ascending (A-Z)
Stars
1
result
for template starred repositories
written in Python
Clear filter
The implementation exercise for the final year finite element course given in the Maths Department of Imperial College London