Dr. Moreno-DÃ¡vila has been a lecturer at the Università Pontificia Regina Apostolorum since 2002 in the framework of a master’s degree in Gödel’s theorem, St. Anselm’s ontological argument and Analytical Thomism. He is also working on his second PhD in philosophy. His first PhD is in the field of mathematical logic. He earned this degree from the Swiss Federal Institute of Technology in 1990 while being responsible for artificial intelligence applications in an important Swiss bank.
Previous to these degrees, he was awarded a masters degree in Electronic Engineering from the Madrid Institute of Technology in 1965. He worked in the field of applied mathematics (operations research) in the leading Italian data processing company. He was responsible for statistics and operations research in the world’s biggest food company in Switzerland from 1972 to 1985.
Retired from commercial activities, he taught Operation Research and Artificial Intelligence from 1996 at the American Graduate School of Business, becoming the Dean of the faculty in 1998, till 2002.
His main research interests are the relations between mathematical logic, Anselm’s ontological argument and Gödel’s theorem. He has published in the field of mathematics and statistics, but recently he has published about the logic used by Aquinas, and the Monte-Carlo algorithms as a counter example against Darwinism.