Ο John J. Kelly είναι επιστήμονας της πληροφορικής και πανεπιστημιακός συγγραφέας, ο οποίος διετέλεσε Senior Lecturer (ανώτερος λέκτορας) στο Τμήμα Επιστήμης Υπολογιστών του University College Dublin στην Ιρλανδία.

Το επιστημονικό και διδακτικό του έργο, όπως αποτυπώνεται στο βιβλίο The Essence of Logic, συνδέεται με τη μαθηματική λογική και τις εφαρμογές της στην πληροφορική. Ιδιαίτερη έμφαση δίνει στις μεθόδους τυπικής απόδειξης, στην προτασιακή λογική, στη λογική πρώτης τάξης και στη χρήση λογικών συστημάτων για την ανάλυση υπολογιστικών προβλημάτων.

Το The Essence of Logic, που κυκλοφόρησε από τον εκδοτικό οίκο Prentice Hall στη σειρά Essence of Computing, αποτελεί μια εισαγωγή στη λογική για φοιτητές επιστήμης υπολογιστών και αναγνώστες που ενδιαφέρονται για τις μαθηματικές βάσεις της πληροφορικής.