Professor Gustavo Santos-García teaches computer sciences and mathematics at the School of Sciences and the School of Economics and Business at the University of Salamanca. He specializes in the field of Artificial Intelligence. He began his research with automatic speech recognition at the Torres Quevedo Institute from CSIC (Spain). He was International Research Fellow at the Computer Science Laboratory, SRI International. He spent various research stages at Stanford University, SRI International, and University of Illinois at Urbana-Champaign where he delved into the fundamentals and applications of neural networks and rewriting logic. He is also a member of the research group Formal Analysis and Design of Software Systems (FADoSS) of the Universidad Complutense de Madrid, Spain. His recent research interest includes symbolic systems in biology, decision making under uncertainty, and Artificial Intelligence applied to medicine and mathematical logic.