We have a new PhD student: Nav Kaur. She will be working on abductive reasoning in science, for more details see her page.