Ana Pasztor is Professor for Computer Science at Florida International University in Miami. She has earned her doctorate in mathematics at Darmstadt University, Germany. Presently, she teaches classes in logic, computer ethics, and cognitive science. She has numerous refereed publications in a wide range of areas such as abstract algebra, logics of programming, artificial intelligence, requirement engineering, design, and more recently, foundational issues in cognitive science, women’s studies, pragmatics, and mathematics education.