mirror of
https://github.com/Brandon-Rozek/website.git
synced 2025-08-04 07:32:00 +00:00
17 lines
No EOL
888 B
Markdown
17 lines
No EOL
888 B
Markdown
---
|
|
title: "Recently (June 2024)"
|
|
date: 2024-06-15T21:21:22-04:00
|
|
draft: false
|
|
tags: []
|
|
math: false
|
|
medium_enabled: false
|
|
---
|
|
|
|
**Professional:** I'm well into the PhD program at this point. I've been fortunate enough to receive the NDSEG fellowship which funds my work, as well as many wonderful collaborators.
|
|
|
|
This summer, I'm an applied scientist intern at Amazon Web Services. I work on the [Cedar project](https://www.cedarpolicy.com/) which is under Automated Reasoning in Identities. I'm especially excited at the oppurtunity to write Lean code.
|
|
|
|
|
|
**Personal Life:** For the internship, I moved out to San Jose, California. The biggest surprise to me is just how blue the sky is almost every day!
|
|
|
|
There's a lot to explore here. I'm making edits on [OpenStreetMap](https://www.openstreetmap.org/user/Brandon%20Rozek/) using the Street Complete application on Android along the way. |