Tiago is a postdoc researcher at Rice University. He is excited about concurrency theory, parallel programming, and verification. Tiago is a strong believer in open source software.