Skip to main content

Trinity College Dublin, The University of Dublin

Menu Search


Trinity College Dublin By using this website you consent to the use of cookies in accordance with the Trinity cookie policy. For more information on cookies see our cookie policy.

      
Profile Photo

Dr. Tim Fernando

Assistant Professor (Computer Science)
OREILLY INSTITUTE

 Tim.Fernando@tcd.ie

 3531896 3800


Biography

Born in the Philippines, educated mainly in California, and subsequently employed at various institutions in Europe and the States.

Representations

Details Date
Member, Managing Editorial Board, Research on Language and Computation (Kluwer).
Logic and Language Area Specialist, 16th European Summer School in Logic, Language and Information, Nancy, France. August 2004
Program Co-Chair, 14th Irish Artificial Intelligence and Cognitive Science, Dublin. September 2003
Workshop Organizer, Barwise and Situation Semantics (co-located with CONTEXT'03), Stanford, California 26 June 2003
Workshop Organizer, Temporality and Discourse Context (co-located with CONTEXT'01), Dundee, Scotland. 30 July 2001
Referee: Linguistics and Philosophy, Journal of Philosophical Logic, Journal of Semantics, Journal of Logic, Language and Information, Center for the Study of Language and Information (CSLI) Lecture Notes, Computer Aided Verification (CAV), Logic in Computer Science (LICS), Matematica Contemporanea.

Languages

Language Skill Reading Skill Writing Skill Speaking
English Fluent Fluent Fluent

Memberships

Membership of Professional Institutions, Associations, Societies

Details Date From Date To
Member, Programme Committee, Formal Grammar 2004 (Nancy) 2004
Member, Programme Committee, Fifth, Fourth and Third International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'05, 03, 01) 2001 2005
Member, Programme Committee, 15th Irish Artifcial Intelligence and Cognitive Science
Member, Programme Committee, Tbilisi Symposium on Language, Logic and Computation. 1996
Tim Fernando, Triadic temporal representations and deformations, Natural Logic meets Machine Learning IV, Nancy, France, June 20, 2023, ACL Archive, ACL, 2023, Notes: [See https://aclanthology.org/events/naloma-2023/], Conference Paper, PUBLISHED  URL
Tim Fernando, Action signatures and finite-state variations, Annotation, Recognition and Evaluation of Actions II, Galway, Aug 9-11,2022, 2022, pp9 , Notes: [Workshop Proceedings], Conference Paper, PUBLISHED  URL
Tim Fernando, Strings from neurons to language, Natural Logic meets Machine Learning III, Galway, Aug 8-12, 2022, ACL Anthology, 2022, pp10 , Conference Paper, PUBLISHED  URL
Temporal Representations with and without Points in, editor(s)R. Loukanova , Logic and Algorithms in Computational Linguistics 2018, Switzerland, Springer, 2020, pp45 - 66, [Tim Fernando], Book Chapter, PUBLISHED
Finite-state methods featuring semantics in, editor(s)C. Condoravdi and T.H. King , Tokens of Meaning, Stanford, CA, CSLI Publications, 2019, pp527 - 544, [Tim Fernando], Book Chapter, PUBLISHED
Tim Fernando and Carl Vogel, Prior Probabilities of Allen Interval Relations over Finite Orders, Proceedings of the 11th International Conference on Agents and Artificial Intelligence - Volume 2: NLPinAI, , Prague, Czech Republic, 2019, pp952-961 , Conference Paper, PUBLISHED  TARA - Full Text  URL
Tim Fernando, String iconicity and granularity, 22nd Amsterdam Colloquium, Amsterdam, Dec 18-20, 2019, 2019, pp10 , Conference Paper, PUBLISHED  URL
Tim Fernando, Pictorial Narratives and Temporal Refinement, Proceedings of SALT 29, 2019, Journal Article, PUBLISHED  URL
Tim Fernando, Predications, fast and slow, CEUR Workshop Proceedings, COMMONSENSE 2017, Thirteenth International Symposium on Commonsense Reasoning, London, November 6-8, 2017, edited by Andrew S. Gordon, Rob Miller, György Turán , 2052, (ISSN 1613-0073), CEUR Workshop Proceedings, 2018, pp1-8 , Conference Paper, PUBLISHED  URL
Intensions, types and finite-state truth-making in, Chatzikyriakidis, Stergios, and Luo, Zhaohui , Modern Perspectives in Type-Theoretical Semantics, Springer, 2017, pp223 - 243, [Tim Fernando], Book Chapter, PUBLISHED  URL
  

Page 1 of 9
Labeled representations, underspecification and disambiguation in, editor(s)H. Bunt and R. Muskens , Computing Meaning, Dordrecht, Kluwer Academic Press, 1999, pp73 - 94, [Fernando, T., Asher, N.], Book Chapter, PUBLISHED
A persistent notion of truth in dynamic semantics in, editor(s)J. Seligman and D. Westerstahl , Logic, Language and Computation, Stanford, CSLI Lecture Notes Number 58, 1996, pp199 - 219, [Fernando, T.], Book Chapter, PUBLISHED
Comparative transition system semantics in, editor(s)E. Borger et al. , Computer Science Logic: Selected Papers from CSL `92, Berlin, Lecture Notes in Computer Science 702, Springer-Verlag, 1993, pp149 - 166, [Fernando, T.], Book Chapter, PUBLISHED
Transition systems and dynamic semantics in, editor(s)D. Pearce and G. Wagner , Logics in AI, Berlin, Lecture Notes in Computer Science 633 (subseries LNAI), Springer-Verlag, 1992, pp232 - 251, [Fernando, T.], Book Chapter, PUBLISHED
A primitive recursive set theory and AFA: on the logical complexity of the largest bisimulation in, editor(s)E. Borger et al. , Computer Science Logic `91, Berlin, Lecture Notes in Computer Science 626, Springer-Verlag, 1992, pp96 - 110, [Fernando, T.], Book Chapter, PUBLISHED
On the logic of situation theory in, editor(s)R. Cooper et al. , In Situation theory and its applications, Stanford, CSLI Lecture Notes Number 22, 1990, pp97 - 116, [Fernando, T.], Book Chapter, PUBLISHED

  

Awards and Honours

Award Date
Fellow, Trinity College, University of Dublin, Ireland May 2003

Research Interests

Description Of Research Interests

Applications of logic to natural and programming languages, and related cognitive issues. Knowledge representation and reasoning with contexts. Non-monotonic reasoning, probabilistic and modal methods. Discourse: anaphora, underspecification, ambiguity and disambiguation. Computational linguistics: formal semantics and pragmatics. RESEARCH GROUP: Artificial Intelligence Group (AIG), Computational Linguistics Group (CLG)