We forgot boss rock, which was a geological term long before Bruce Springsteen came along.
But seriously, yes, your teacher is correct. If you’re looking for a good genre name, it’s always best to turn to science first.
Check out some of these other geological terms and see if any could apply to your band’s music:
rudaceous rock pryoclastic rock grit rock gangue rock boudinage rock arenaceous rock conglomerate rock dyke rock porphyritic rock fractured rock
One exception we have to note, however: the term heavy metal comes not from the field of geology, but from chemistry.