I don't think Kripke has ever been anything but a philosopher. His work has influenced computer science, but he hasn't ever really directly worked in that field

I don't think Kripke has ever been anything but a philosopher. His work has influenced computer science, but he hasn't ever really directly worked in that field himself. The closest he's come to a CS journal or conference is publishing in a few philosophy of computing conferences, and a bunch of logic journals (but generally the ones more in the philosophical-logic tradition, not computational logic).