---
id: 2026-03
title: Weekly — 2026-01-14
type: Weekly
created: 2026-01-14T18:46:24Z
modified: 2026-01-14T19:21:41Z
tags: [weekly]
---

# Weekly - 2026 CW 03 (Wed 2026-01-14)

## Accomplishments
- Finished FRET tutorial I was working on. I've still got
weird dependency things I need to figure out. Moving to a
mac has caused some interesting quirks but I'm working them
out.
- Read Hybrid Automata: An Algorithmic Approach to
Specification and Verification of Hybrid Systems
- Did 2 interviews for chair search and read additional
applicants stuff. 
- Bob asked me for help for ENGR 1933. I completed my RAMP
training to get recertified. 
- Completed the review form.
- Did maneuvering with Emerson to get them moving on an
offer. INL sent me a formal offer letter.

### Chair-Search
- ✓ Read additional applican and provide scords
- ✓ Read Clarks application and provide review scores
- ✓ Read remaining two applicants and provide scores

### Thesis
- ✓ Do FRET tutorials

## Pushed or Rescheduled

### Thesis
- The Algorithmic Analysis of Hybrid Systems (1995) — rescheduled
- Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems (1993) — rescheduled
- Hamilton-Jacobi Reachability: A Brief Overview and Recent Advances (2017) — rescheduled

### Other
- Investigate DICE conference — rescheduled

## Cancelled or Deleted

No tasks were cancelled or deleted this week.

## To Do
- Decide on an internship
- Additional interviews this week
- Review meeting is this week.
- Re-outline research approach. Identify the holes
- Plan out a prelim problem. Maybe a simple version of what
  HARDENS did. Just initiating scram?
- Follow up with IT about what the hell is sending packets
from the ARCADE puter.


### Due This Week

No tasks are due in the next 7 days.

### High Priority

**Thesis (reading)**
- The Algorithmic Analysis of Hybrid Systems (1995) — Urgency: 17.8 (overdue by 5 days)
- Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems (1993) — Urgency: 13.8 (overdue by 5 days)
- Hamilton-Jacobi Reachability: A Brief Overview and Recent Advances (2017) — Urgency: 13.8 (overdue by 5 days)
- Hybrid Systems: Review and Recent Progress (2003) — Urgency: 2.45
- Multiple Lyapunov Functions and Other Analysis Tools for Switched and Hybrid Systems (1998) — Urgency: 2.45

**Other**
- Investigate DICE conference — Urgency: 15.8

**ERLM (editing/writing)**
- Add research tasks to research approach section — Urgency: 2.51

**Zettelkasten**
- AIGER Circuits — Urgency: 3.25
- Reactive Synthesis — Urgency: 3.25
- Write about opp. chall. and res. needs for remote micro ope. — Urgency: 3.22