Dr. Michael Blondin

Associate Professor

Build a Statement of Purpose

Generate a tailored SOP for Dr. Michael Blondin. Improve your application with a focused, well-structured draft.

Biography

Michael Blondin is an Associate Professor at the University of Sherbrooke, specializing in the fields of computer science and formal verification. His academic journey includes joint Ph.D. degrees in computer science from both École Normale Supérieure de Cachan and Université de Montréal. He also received his Master’s and Bachelor’s degrees in computer science from Université de Montréal. Before taking on his current role, he served as an Assistant Professor at the same institution and completed a postdoctoral fellowship at the Technical University of Munich. His research interests encompass formal verification, automata theory, infinite state systems, model checking, and computational complexity theory. Throughout his career, he has contributed significantly to theoretical computer science through various teaching and research activities, demonstrating a strong commitment to education and innovation in his field.

Research Interests

Formal Verification Automata Theory Infinite State Systems Model Checking Computational Complexity Theory Logic

Experience

Associate Professor

2023-01-01 — Present

University of Sherbrooke • Sherbrooke, QC, Canada

Tenured faculty member engaging in research and teaching.

Assistant Professor

2018-01-01 — 2023-01-01

University of Sherbrooke • Sherbrooke, QC, Canada

Involved in teaching and research in computer science.

Postdoctoral Researcher

2016-01-01 — 2018-01-01

Technical University Munich • Munich, Germany

Conducted advanced research in theoretical computer science.

Courses

IFT503 - Theory of Computation IFT711 - Theory of Computation IFT436 - Algorithms and Data Structures IFT769 - Selected Topics in Theoretical Computer Science IGL502 - Verification and Validation Techniques IGL752 - Verification and Validation Techniques IFT209 - System Programming

Requirements for University of Sherbrooke

Master Program
Requirements
GPA Requirement
Required:2.7
TOEFL
Listening
Required:20
Reading
Required:20
Writing
Required:20
Speaking
Required:20
Total
Required:86
IELTS
Listening
Required:6
Reading
Required:6
Writing
Required:6
Speaking
Required:6
Overall
Required:6.5
Prerequisites
Bachelor's degree in engineering, computer science, or a related scientific field.
Application Checklist
  • Online application form
  • Application fee (approx. CAD 101 for graduates)
  • Official university transcripts
  • Curriculum Vitae (CV)
  • Letter of Motivation / Statement of Interest
  • Letters of recommendation (typically 2-3)
  • Birth certificate copy
Specialization Notes

The University of Sherbrooke is primarily a French-language institution; functional French (B2/C1 level) is typically required for most programs unless specified for research-based paths.