Explore projects

clean, blank latex template with inputenc, geometry, bable, hyperref, microtype, etc. (probably use always) pdf

Verifying Strong Eventual Consistency in Distributed Systems (OOPSLA 2017)

These slides were presented at my dissertation defense (Division of Applied Mathematics, Brown University, 23 May 2018).

XeLaTeX for "A Discriminative Approach to Bayesian Filtering with Applications to Human Neural Decoding"

Final Report

A Conflict-Free Replicated JSON Datatype (IEEE Transactions on Parallel and Distributed Systems)

Scripts and software for generating the results of Korsbo and Jönsson (2020) "It’s about time: Analysing simplifying assumptions for modelling multi-step pathways in systems biology"

"Local-first software: You own your data, in spite of the cloud" (Onward! Essays 2019)

A highly-available move operation for replicated trees

Investigating the R1-R4 feedbacks and nuclear shuttling for the onset of cell division. This project is led by Weibing Yang and myself .

safely store server secrets

safely store server secrets

Entry for Apache Samza in the Encyclopedia of Big Data Technologies (Springer, 2018)

From Secure Messaging to Secure Collaboration (Security Protocols Workshop 2018)