User:Mrhaandi

PhD in computer science with following areas of expertise
 * mathematical logic
 * type theory
 * program synthesis