Skip to content

Commit

Permalink
Update news.toml
Browse files Browse the repository at this point in the history
News! Alexander joining the team.
  • Loading branch information
OmerSakar authored Feb 2, 2024
1 parent 0f3e5a8 commit 69f9fa3
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions data/news.toml
Original file line number Diff line number Diff line change
Expand Up @@ -435,5 +435,10 @@ content = """
> From this January, <a href="https://people.utwente.nl/r.a.mensing" target="_blank">Robert Mensing</a> has joined our VerCors team as a PhD candidate. Robert will be working under the <a href="https://www.utwente.nl/en/eemcs/fmt/research/projects/pallas/" target="_blank" >Pallas</a> project for the program analysis for LLVM-IR and all its source languages. Welcome Robert!
"""

["New PhD candidate Alexander Stekelenburg"]
date = "2024-02-01"
content = """
> From this February, <a href="https://people.utwente.nl/a.v.stekelenburg" target="_blank">Alexander Stekelenburg</a> has joined our VerCors team as a PhD candidate. Alexander will also be working under the <a href="https://www.utwente.nl/en/eemcs/fmt/research/projects/pallas/" target="_blank" >Pallas</a> project for the program analysis for LLVM-IR and all its source languages. Welcome Alexander!
"""


0 comments on commit 69f9fa3

Please sign in to comment.