The academic survey was done to see the state of the teaching of formal methods in higher education. A questionnaire was used to gain this information. The survey showed that formal methods appear to be taught in a large number of higher education institutions. The most popular methods being taught are Z and VDM-SL.