Faculty profile
Reto Achermann
Back to facultyAffiliate Assistant ProfessorComputer Science at UBCUniversity of British Columbia
Research
Read how they describe their research on their University of British Columbia profile.
No publications available.
Write to this professor
A short, specific email works best. This draft uses one of their recent papers; replace the parts in brackets with your own details before sending.
Applying for
Subject: Prospective PhD student: Systems & Networking Formal Methods Program Analysis & Verification
Dear Professor Achermann,
My name is [your name], and I am a [your current degree or role] at [your institution]. I am applying for a PhD position starting in [term and year].
Your research on systems & networking formal methods program analysis & verification connects closely to my own work on [your research topic]. [One or two sentences on what you did and what you learned.]
Are you accepting new PhD students for [term and year]? I have attached my CV and transcripts, and I would be glad to talk at a time that suits you.
Thank you for your time.
Kind regards,
[your name]
Profile data last refreshed on September 27, 2026 from the university directory, publication records and CIHR, NSERC and SSHRC funding.