Nathan E. Liittschwager

Computer Science and Engineering Department Baskin School of Engineering University of California, Santa Cruz GitHub Email: nliittsc(at)ucsc(dot)edu Office: 375 Engineering 2 Faculty Advisor: Lindsey Kuper

Research Interests

• semantics of programming languages, parametricity, representation independence
• distributed systems, conflict-free replicated data types
• coalgebraic semantics, process calculi, (bi)simulation

Publications

• CRDT emulation, simulation, and representation independence. (doi)
  Nathan Liittschwager, Jonathan Castello, Stelios Tsampas, and Lindsey Kuper.
  ICFP 2025
• CRDTs, coalgebraically. (doi)
  Nathan Liittschwager, Stelios Tsampas, Jonathan Castello, and Lindsey Kuper.
  CALCO 2023

Teaching

I've worked as a teaching assistant in the following courses:

• CSE114A: Foundations of Programming Languages
• CSE185: Technical Writing
• CSE103: Computational Models
• CSE102: Introduction to Analysis of Algorithms