Category Archives: Formal Methods

First International SAT/SMT Summer School 2011 @ MIT

Sorry, for being ‘missing in action’. I was super busy organizing the first international SAT/SMTĀ  Solver summer school @ MIT from June 12th to June 17th, 2011 (I was the main organizer). It was an awesome event. We had 40 … Continue reading


Computational Rationalism vs. Empiricism

Can computer programs be understood through reason alone? Or will we study computer programs empirically, just as we study the universe or the human brain or any natural phenomena or even artificial ones such as the global economy? Will the … Continue reading

Gallery | Tagged , ,