لغة طبيعية
أثناء التحاقه بجامعة بنسلفانيا، دعم لينات نفسه من خلال البرمجة، لا سيما تصميم وتطوير واجهة لغة طبيعية لنظام الإجابة على الأسئلة في قاعدة بيانات البحرية الأمريكية والذي بدوره يعمل نظام قاعدة البيانات للإجابة على الأسئلة كدليل عمليات مبكر عبر الإنترنت يستخدم في حاملات الطائرات الأمريكية . حصل على درجة البكالوريوس في الرياضيات والفيزياء، ودرجة الماجستير في الرياضيات التطبيقية، جميعها في 1972، من جامعة بنسلفانيا.