Jonathan Aldrich (@jaldrichpl) 's Twitter Profile
Jonathan Aldrich

@jaldrichpl

Professor of Programming Languages and Software Engineering at CMU. ACM Publications Board. CTO of Noteful (noteful.net). He/him. Views are mine.

ID: 2164815145

linkhttp://www.cs.cmu.edu/~aldrich/ calendar_today30-10-2013 13:47:39

12,12K Tweet

4,4K Takipçi

1,1K Takip Edilen

Jonathan Aldrich (@jaldrichpl) 's Twitter Profile Photo
Jonathan Aldrich
@jaldrichpl

2 years ago

REUSE is a fun program, please apply! I'll be (co-)mentoring three projects: * A Type System for Diagrams * Improving SASyLF, a Proof Assistant for Education * Meerkat: A Safe, Scalable Reactive Programming Language with Live Updates Lots of cool other projects too!