For DS and algos, formally proving properties of things would definitely be considerd an academic activity.