Adam Chlipala

Adam Chlipala is Assistant Professor of Electrical Engineering and Computer Science and Douglas T. Ross (1954) Career Development Professor of Software Technology at MIT.

Adam Chlipala is Assistant Professor of Electrical Engineering and Computer Science and Douglas T. Ross (1954) Career Development Professor of Software Technology at MIT. See less