Skip to content

Commit

Permalink
Update verifast-rust.md
Browse files Browse the repository at this point in the history
  • Loading branch information
@xldenis
xldenis authored Oct 24, 2024
1 parent 4f7020c commit e2df5da
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions content/meetings/verifast-rust.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,6 +12,6 @@ He earned his master's degree in Computer Engineering, specializing in Computer

His research endeavours centre around devising methodologies for verifying the desired properties of programming languages and computer programs. Currently, his concentration lies in verifying the safety properties of programs coded in the Rust programming language.

**Meeting Link**: TBA
**Meeting Link**: [Zoom Link](https://ethz.zoom.us/j/62101458314)

**Recording Link**: TBA
**Recording Link**: TBA

0 comments on commit e2df5da

Please sign in to comment.