Adam ChlipalaAdam Chlipala is Assistant Professor of Electrical Engineering and Computer Science and Douglas T. Ross (1954) Career Development Professor of Software Technology at MIT.
An OTP has been sent to your Registered Email Id:
Resend Verification Code
Hi! I'm Vidya, your virtual assistant.
Need a book recommendation, help with your order or support with any query? I’m here to assist you.
