is it a GPL violation or not ?

[Richard Stallman]

It is a violation.

      Permission to use, copy, modify, and distribute this software and 
      its documentation for educational, research and non-profit purposes, 

Because of that limitatin of purposes, the program is not even free
software, let alone GPL-compatible.

Please note that the term "BSD license" conceals significant
variation.  The original BSD license was free, but incompatible with
the GPL.  The revised BSD license is compatible with the GPL.  It is
best to avoid the term "BSD license" to avoid risk of confusion.