---
id: 2025-50
title: Weekly — 2025-12-17
type: Weekly
created: 2025-12-17T20:56:30Z
modified: 2025-12-17T20:56:30Z
tags: [weekly]
---

# Weekly - 2025 CW 50 (Wed 2025-12-17)

## Accomplishments

### Chair-Search
- ✓ Review Zbeeb, Khaled application
- ✓ Review Christopher, Gordon application
- ✓ Review Robles Hernandez, Francisco Carlos application
- ✓ Review Asmatulu, Ramazan application
- ✓ Review Gupta, Sanju application
- ✓ Review Yang, Xiaodong application
- ✓ Review Kim, Harrison application
- ✓ Review Makhlouf, Abdelsalam application
- ✓ Review Gouma, Pelagia application
- ✓ Review Akkus, Ozan application
- ✓ Review Narayan, Roger application

### Internship
- ✓ Tune up presentation for Emerson... digital twins

## Pushed or Rescheduled

No tasks were rescheduled during this period.

## Cancelled or Deleted

No tasks were cancelled or deleted during this period.

## To Do

### Due This Week

**Due within 24 hours:**
- **Union** — Talk to Jessica about getting a room for an event (Due: 1d, Urgency: 9.23)

### High Priority

**Zettelkasten (zk):**
- Write zettels about Andre Platzer and differential dynamic logic (Urgency: 3.34)
- Write zettels about webofscience database (Urgency: 3.34)
- Deterministic Parity Automata (Urgency: 3.1)
- Mealy Machines (Urgency: 3.1)
- AIGER Circuits (Urgency: 3.1)
- Reactive Synthesis (Urgency: 3.1)
- Write about opp. chall. and res. needs for remote micro ope. (Urgency: 3.07)

**Other Projects:**
- **ERLM** — Add research tasks to research approach section (Urgency: 2.36)
- **Thesis** — The Algorithmic Analysis of Hybrid Systems (1995) [reading] (Urgency: 2.3)