Skip to content

Commit

Permalink
Merge pull request #48 from PRL-PRG/JanJecmen-patch-1
Browse files Browse the repository at this point in the history
Update people.md
  • Loading branch information
JanJecmen authored Apr 28, 2023
2 parents 556ae12 + 48e1e58 commit 973c297
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions people.md
Original file line number Diff line number Diff line change
Expand Up @@ -134,12 +134,12 @@ people:
- type: researcher
name: Jan Ječmen
photo: jan_jecmen.jpg
title: PhD student
title: Research assistant
email: [email protected]
web: https://janjecmen.github.io
bio:
- Joined Czech Technical University, 2016
note: "I am a PhD student at FIT CTU. I am interested in implementation of programming languages. I work currently on R."
note: "I enjoy learning about and working on programming languages, especially their implementation and optimization. I have worked on an optimizing compiler for R most of my time here which has proven both challenging and rewarding."

- type: researcher
name: Petr Maj
Expand Down

0 comments on commit 973c297

Please sign in to comment.