| user: | fmontesi |
| created: | 12 years ago |
| karma: | 87 |
| about: | Professor of Computer Science. Principal Investigator of Choreographic Programming. Lead Maintainer of CSLib, the Lean Computer Science Library. Maintainer and co-creator of the Jolie programming language. Twitter: https://twitter.com/famontesi |