The person in charge gets to decide on the tone.
In my job, it’s the principal. In your situation, it’s the professor.