Justin Hsu

A look into how DIBI models analyze event relationships.

New techniques improve envy-free cake-cutting among multiple participants.

A new type system enhances rounding error analysis for numerical calculations.