He’s credited with coming up with the first support vector machine (SVM) algorithm. SVMs are widely used today for machine learning purposes.