1.6 KiB
1.6 KiB
| id | title | type | created | modified | tags | |
|---|---|---|---|---|---|---|
| 2025-50 | Weekly — 2025-12-17 | Weekly | 2025-12-17T20:56:30Z | 2025-12-17T20:56:30Z |
|
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)