科瓦尔斯基曾在多个大学接受教育，包括芝加哥大学（1958～1959）、布里奇波特大学（数学学士，1960～1963）、斯坦福大学（数学硕士，1963～1966）、华沙大学（1964～1965）及爱丁堡大学（计算机科学博士，1967～1970）。

在硕士毕业后，科瓦尔斯基到波多黎各的美联大学（Inter American University）担任了一段时间的助理教授（1966～1967）。之后他去爱丁堡大学攻读博士学位，并任研究员(1970～1975）。此后一直在伦敦帝国学院任教，并于1982年获得正教授资格，1999年成为名誉教授（Emeritus Professor）。科瓦尔斯基于1991年当选美国人工智能学会会士（AAAI Fellow），1999年当选欧洲人工智能协调委员会会士，2001年当选美国计算机学会会士（ACM Fellow）。2011年，由于“对关于知识表示和问题解决的逻辑方法的贡献，以及对自动定理证明和逻辑编程的开创性工作”，他被授予IJCAI卓越研究奖。

科瓦尔斯基早期的研究集中在自动定理证明领域，他与D.屈纳^[注]（Donald Kuehner，唐纳德·屈纳）一起开发了SL-解析（SL-resolution）和连接图证明程序（connection graph proof procedure）。他最著名的研究是关于霍恩（Horn）子句的程序解释及由此发展的后续一系列成果，这也是对逻辑编程领域的重要贡献。他与马尔滕·范埃姆登^[注]（Maarten van Emden）一起发展了霍恩子句的最小模型和不动点语义；与M.塞戈特^[注]（Marek Sergot，马雷克·塞戈特）一起发展了事件演算和逻辑编程在法律推理上的应用，例如如何将英国国籍法（British Nationality Act）形式化为一个逻辑程序；与F.萨德里^[注]（Fariba Sadri，法里贝·萨德里）一起开发了一个智能体模型，其中信念由逻辑程序表示，目标由完整性约束表示。科瓦尔斯基是溯因逻辑编程方向的早期研究人员之一，在其研究中逻辑程序增加了完整性约束和未定义的、不可约的谓词。这项工作最终引导出他与P.M.栋^[注]（Phan Minh Dung）和F.托妮^[注]（Francesca Toni）共同的研究成果：大多数默认推理的逻辑可以被认为是基于假设论证的特殊情况。

科瓦尔斯基在许多国际期刊及会议上发表论文，并出版了两部专著：《问题求解逻辑》及《计算逻辑和人类思考：如何通向人工智能》。他是多个国际期刊的编委成员，包括逻辑与计算学报（Journal of Logic and Computation, 1990～　　）、人工智能与法律学报（Journal of Artificial Intelligence and Law, 1990～　　）、逻辑编程的理论与实践（Theory and Practice of Logic Programming, 2000～　　）、心智与语言（Mind and Language, 1986～　　）、逻辑和人工智能的进展快讯（Electronic Journal of Positive Reviews in Logic and Artificial Intelligence, 1996）和IEICE信息及系统学报（IEICE Transactions on Information and Systems, 1990～　　） 等。科瓦尔斯基还曾是《艾迪森·卫斯理丛书：逻辑编程》（Addison-Wesley Series on Logic Programming）的副主编。除此之外，科瓦尔斯基还是多个国际会议的顾问委员会成员或程序委员会成员，包括逻辑编程会议（Logic Programming Conferences, 1980, 1982, 1988, 1989）、知识表示及推理国际会议（International Conference on Principles of Knowledge Representation and Reasoning, 1989, 1991）和计算逻辑研讨会（Symposium on Computational Logic, 1990）等。