おめでとうございます！！ 教授のタイプにはよりますが、ゼミで一番大事なのは教授との関係だと思いますので、挨拶しといて損はないと思いますよ！