Research Profile

Anthony Seda

BIOGRAPHY

Research Interests

The research area in question is the study of a number of models of computation including logic-based models (such as logic programming), weighted finite automata, and connectionist models (such as neural networks and other networks), and the interaction of all these. The main focus of my research is their semantics, or formal mathematical meaning, and has as its ultimate objective the better understanding of them and the enhancement, efficiency, and correctness of computer systems built on them, and on combinations of them. The impact of this work includes the introduction to this area of various tools familiar in mathematical analysis, but much less familiar in the area in question. These include topological methods, the use of generalized distance functions, and fixed-point techniques. Their use has shed much light on the semantics of systems built on these models, especially in the context of uncertainty as represented by many-valued logics and probabilities.

Publications

Books

 YearPublication
(2010)Mathematical Aspects of Logic Programming Semantics.
Seda, AK; Hitzler, P; (2010) Mathematical Aspects of Logic Programming Semantics. USA: Chapman & Hall/CRC Press. [Details]

Book Chapters

 YearPublication
(2007)'Connectionist Representation of Multi-Valued Logic Programs. Invited chapter (Chapter 12)'
A.K. Seda, E. Komendantskaya and M. Lane, ; (2007) 'Connectionist Representation of Multi-Valued Logic Programs. Invited chapter (Chapter 12)' In: B. Hammer and P. Hitzler (eds). B. Hammer and P. Hitzler (Eds.), ``Perspectives of Neural-Symbolic Integration''. In: Janusz Kacprzyk (editor in chief), Springer series `Studies in Computational Intelligence. Berlin: Springer Verlag. [Details]
(2003)'Convergence Classes and Spaces of Partial Functions'
Seda, A.K., Heinze, R. and Hitzler, P.; (2003) 'Convergence Classes and Spaces of Partial Functions' In: * (eds). ``Domain Theory, Logic and Computation, Volume 3 in the book series ``Semantic Structures in Computation'', Kluwer Academic Publishers. USA: Kluwer Academic Publishers. [Details]
(2002)'The Fixed-Point Theorems of Priess-Crampe and Ribenboim in Logic Programming'
Hitzler, P. and Seda, A.K.; (2002) 'The Fixed-Point Theorems of Priess-Crampe and Ribenboim in Logic Programming' In: Kuhlmann, F.V., Kuhlmann, S. and Marshall, M (eds). Proceedings of the International Conference and Workshop in Valuation Theory in Honour of Paulo Ribenboim, Saskatchewan, Canada, July, 1999. Fields Institute Communications Series, Vol. 32, American Mathematical Society. Rhode Island, USA: American Mathematical Society. [Details]

Edited Books

 YearPublication
(2011)
T. Neary, A.K. Seda and D. Woods (Ed.). (2011) Proceedings of CSP'08 (Selected Papers), NUI, Cork, December, 2008. The Netherlands: Elsevier Science Publishers. [Details]
(2009)
Seda, Anthony (Ed.). (2009) Proceedings of MFCSIT2006, NUI, Cork, July, 2006. The Netherlands: Elsevier Science Publishers. [Details]
(2009)
Turlough Neary, Damien Woods, Anthony Seda, Niall Murphy (Ed.). (2009) Proceedings International Workshop on The Complexity of Simple Programs (CSP'08). The Netherlands: Electronic Proceedings in Theoretical Computer Science (EPTCS). [Details]
(2008)
T. Neary, D. Woods, A.K. Seda, N. Murphy (Ed.). (2008) Complexity of Simple Programs (CSP'08), Proceedings, NUI Cork. Cork: University College Cork. [Details]
(2006)
L. Li, F. Ren, T. Hurley, V. Komendantsky, M. Mac an Airchinnigh, M. Schellekens, A.K. Seda, G. Strong, D. Woods (Ed.). (2006) Proceedings of Information-MFCSIT'06, NUI, Cork, Ireland. Cork: University College Cork. [Details]
(2006)
T. Hurley, M. Mac an Airchinnigh, M. Schellekens, A.K. Seda and G. Strong (Ed.). (2006) Proceedings of MFCSIT2004, Trinity College Dublin, July, 2004. The Netherlands: Elsevier Science Publishers. [Details]
(2003)
T. Hurley, M. Mac an Airchinnigh, M. Schellekens and A.K. Seda (Ed.). (2003) Proceedings of MFCSIT2002, NUI, Galway, July, 2002. The Netherlands: Elsevier Science Publishers. [Details]
(2003)
M. Schellekens, A.K. Seda and D. Spreen (Ed.). (2003) Proceedings of MFCSIT2000 (Selected Papers), NUI, Cork, July, 2000. The Netherlands: Kluwer Academic Publishers. [Details]
(2001)
T. Hurley, M. Mac an Airchinnigh, M. Schellekens and A.K. Seda (Ed.). (2001) Proceedings of MFCSIT2000, NUI, Cork, July, 2000. The Netherlands: Elsevier Science Publishers. [Details]

Peer Reviewed Journals

 YearPublication
(2010)'Generalized Distance Functions in the Theory of Computation'
Seda, AK; Hitzler, P; (2010) 'Generalized Distance Functions in the Theory of Computation' [Details]
(2009)'Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs'
Seda, AK; Komedantskaya, E; (2009) 'Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs' [Details]
(2009)'Properties of General Semantic Operators Determined by Logic-Based Systems'
Seda, AK; Lane, M; (2009) 'Properties of General Semantic Operators Determined by Logic-Based Systems' [Details]
(2006)'On the Integration of Connectionist and Logic-Based Systems'
A.K. Seda; (2006) 'On the Integration of Connectionist and Logic-Based Systems' [Details]
(2006)'On Kozen's Embedding and the Use of Analysis in the Semantics of Computation'
A.K Seda; (2006) 'On Kozen's Embedding and the Use of Analysis in the Semantics of Computation' [Details]
(2006)'Some Aspects of the Integration of Connectionist and Logic-Based Systems'
A.K. Seda and M. Lane; (2006) 'Some Aspects of the Integration of Connectionist and Logic-Based Systems' [Details]
(2005)'On the Measurability of the Semantic Operators Determined by Logic Programs'
A.K. Seda and M. Lane; (2005) 'On the Measurability of the Semantic Operators Determined by Logic Programs' [Details]
(2004)'Logic Programs and Connectionist Networks'
A.K. Seda, P. Hitzler and S. Hoelldobler; (2004) 'Logic Programs and Connectionist Networks' [Details]
(2003)'Generalized Metrics and Uniquely Determined Logic Programs'
A.K. Seda and P. Hitzler; (2003) 'Generalized Metrics and Uniquely Determined Logic Programs' [Details]
(2002)'Some Convergence Issues in Theoretical Computer Science'
A.K. Seda; (2002) 'Some Convergence Issues in Theoretical Computer Science' [Details]
(2001)'Unique Supported-Model Classes of Logic Programs'
A.K. Seda and P. Hitzler; (2001) 'Unique Supported-Model Classes of Logic Programs' [Details]
(2001)'A 'Converse' of the Banach Contraction Mapping Theorem'
A.K. Seda and P. Hitzler; (2001) 'A 'Converse' of the Banach Contraction Mapping Theorem' [Details]
(2001)'On the Coincidence of Semantics for Uniquely Determined Programs'
A.K. Seda and P. Hitzler; (2001) 'On the Coincidence of Semantics for Uniquely Determined Programs' [Details]
(2000)'Uniqueness of the Fixed Points of Single-Step Operators Determined by Belnap's Four-Valued Logic'
A.K. Seda and E. Clifford; (2000) 'Uniqueness of the Fixed Points of Single-Step Operators Determined by Belnap's Four-Valued Logic' [Details]
(2000)'Classes of Logic Programs which Possess Unique Supported Models'
A.K. Seda and P. Hitzler; (2000) 'Classes of Logic Programs which Possess Unique Supported Models' [Details]
(2000)'Dislocated Topologies'
A.K. Seda and P. Hitzler; (2000) 'Dislocated Topologies' [Details]
(1999)'Topology and Iterates in Computational Logic'
A.K. Seda and P. Hitzler ; (1999) 'Topology and Iterates in Computational Logic' [Details]
(1999)'Acceptable Programs Revisited'
A.K. Seda and P. Hitzler; (1999) 'Acceptable Programs Revisited' [Details]
(1999)'Some Issues Concerning Fixed Points in Computational Logic: Quasi-Metrics, Multivalued Mappings and Knaster-Tarski Theorem'
A.K. Seda and P. Hitzler; (1999) 'Some Issues Concerning Fixed Points in Computational Logic: Quasi-Metrics, Multivalued Mappings and Knaster-Tarski Theorem' [Details]
(1997)'Quasi-metrics and the Semantics of Logic Programs'
A.K. Seda ; (1997) 'Quasi-metrics and the Semantics of Logic Programs' [Details]
(1996)'Quasi-metrics and Fixed Points in Computing'
A.K. Seda; (1996) 'Quasi-metrics and Fixed Points in Computing' [Details]
(1995)'Topology and the Semantics of Logic Programs'
A.K. Seda; (1995) 'Topology and the Semantics of Logic Programs' [Details]
(1994)'Topological View of the Kowalski-van Emden Theorem'
A.K. Seda; (1994) 'Topological View of the Kowalski-van Emden Theorem' [Details]
(1994)'Some Applications of General Topology to the Semantics of Logic Programs'
A.K. Seda; (1994) 'Some Applications of General Topology to the Semantics of Logic Programs' [Details]
(1986)'On the Continuity of Haar Measure on Topological Groupoids'
A.K. Seda; (1986) 'On the Continuity of Haar Measure on Topological Groupoids' [Details]
(1985)'On the Categories Sp(X) and Ban(X), II'
A.K. Seda ; (1985) 'On the Categories Sp(X) and Ban(X), II' [Details]
(1984)'Integral Representation of Linear Functionals on Spaces of Sections'
A.K. Seda; (1984) 'Integral Representation of Linear Functionals on Spaces of Sections' [Details]
(1983)'On the Categories Sp(X) and Ban(X)'
A.K. Seda ; (1983) 'On the Categories Sp(X) and Ban(X)' [Details]
(1983)'Sur les espaces de fonctions et les espaces de sections'
A.K. Seda; (1983) 'Sur les espaces de fonctions et les espaces de sections' [Details]
(1982)'Banach Bundles of Continuous Functions and an Integral Representation Theorem'
A.K. Seda; (1982) 'Banach Bundles of Continuous Functions and an Integral Representation Theorem' [Details]
(1981)'Banach Bundles and a Theorem of J.M.G'
A.K. Seda; (1981) 'Banach Bundles and a Theorem of J.M.G' [Details]
(1980)'On Measures in Fibre Spaces'
A.K. Seda; (1980) 'On Measures in Fibre Spaces' [Details]
(1979)'Quelques resultats dans la categorie des groupoides d'operateurs'
A.K. Seda; (1979) 'Quelques resultats dans la categorie des groupoides d'operateurs' [Details]
(1977)'G-Spaces and Topological Groupoids'
A.K. Seda and M.K. Dakin; (1977) 'G-Spaces and Topological Groupoids' [Details]
(1976)'On Invariant Measures for Compact Transformation Groups'
A.K. Seda and A.W. Wickstead; (1976) 'On Invariant Measures for Compact Transformation Groups' [Details]
(1976)'Haar Measures for Groupoids'
A.K. Seda ; (1976) 'Haar Measures for Groupoids' [Details]
(1975)'A Continuity Property of Haar Systems of Measures'
A.K. Seda; (1975) 'A Continuity Property of Haar Systems of Measures' [Details]
(1975)'An Extension Theorem for Transformation Groupoids'
A.K. Seda ; (1975) 'An Extension Theorem for Transformation Groupoids' [Details]
(1975)'Un concept de mesures invariantes pour les groupoides topologiques'
A.K. Seda; (1975) 'Un concept de mesures invariantes pour les groupoides topologiques' [Details]
(1975)'On Compact Transformation Groupoids'
A.K. Seda ; (1975) 'On Compact Transformation Groupoids' [Details]
(1974)'Une application de la theorie des obstructions equivariantes a la theorie des espaces fibres'
A.K. Seda and T. Porter; (1974) 'Une application de la theorie des obstructions equivariantes a la theorie des espaces fibres' [Details]

Other Journals

 YearPublication
(1998)'Comments on the MathFit Programme'
A.K. Seda; (1998) 'Comments on the MathFit Programme' Irish Mathematical Society Bulletin, 40 :56-59. [Details]
(1998)'Generalized Ultrametrics, Domains and an Application to Computational Logic'
A.K. Seda and P. Hitzler; (1998) 'Generalized Ultrametrics, Domains and an Application to Computational Logic' Irish Mathematical Society Bulletin, 41 :31-43. [Details]
(1996)'Some Mathematical Aspects of Information Technology: Fixed Points and the Formal Semantics of Programming Languages'
A.K. Seda; (1996) 'Some Mathematical Aspects of Information Technology: Fixed Points and the Formal Semantics of Programming Languages' Irish Mathematical Society Bulletin, 37 :45-72. [Details]
(1984)'One Aspect of the Work of Alain Connes'
A.K. Seda; (1984) 'One Aspect of the Work of Alain Connes' Irish Mathematical Society Newsletter, 11 :38-48. [Details]
(1984)'Current Mathematical Publications as a Research Tool in the Mathematical Sciences'
A.K. Seda; (1984) 'Current Mathematical Publications as a Research Tool in the Mathematical Sciences' Irish Mathematical Society Newsletter, 12 :51-54. [Details]
(1983)'Computer Science and the Mathematics Curriculum'
A.K. Seda; (1983) 'Computer Science and the Mathematics Curriculum' Irish Mathematical Society Newsletter, 7 :71-77. [Details]

Conference Publications

 YearPublication
(2009)The Fifth International Conference on Information, Kyoto, Japan, November 6-9, 2009
Seda, AK; Komedantskaya, E; (2009) Neural Networks and Minimal Fixed Point Semantics for Logic Programs . In: L. Li and K.K. Yen eds. The Fifth International Conference on Information, Kyoto, Japan, November 6-9, 2009 , pp.1-4 [Details]
(2007)The Second International Work-Conference on the Interplay between Natural and Artificial Computation (IWINAC2007)
A.K. Seda; (2007) Morphisms of ANN and the Computation of Least Fixed Points of Semantic Operators . In: J. Mira and J.R. Alvarez eds. The Second International Work-Conference on the Interplay between Natural and Artificial Computation (IWINAC2007) , pp.224-233 [Details]
(2006)Information-MFCSIT'06
A.K. Seda and E. Komendantskaya; (2006) Declarative and Operational Semantics for Bilattice-Based Annotated Logic Programs Information-MFCSIT'06 , pp.229-232 [Details]
(2006)Information-MFCSIT'06
A.K. Seda and M. Lane; (2006) Some Properties of General Semantic Operators Information-MFCSIT'06 , pp.237-240 [Details]
(2006)The Second International Conference Computability in Europe (CiE) 2006: Logical Approaches to Computational Barriers, University of Wales Swansea
A.K. Seda and E. Komendantskaya; (2006) Logic Programs with Uncertainty: Neural Computation and Automated Reasoning The Second International Conference Computability in Europe (CiE) 2006: Logical Approaches to Computational Barriers, University of Wales Swansea , pp.170-182 [Details]
(2005)The Seventh International Workshop on First-Order Theorem Proving (FTP'05), Koblenz, Germany
A.K. Seda, E. Komendantskaya and V. Komendantsky; (2005) On Approximation of the Semantic Operators Determined by Bilattice-Based Logic Programs The Seventh International Workshop on First-Order Theorem Proving (FTP'05), Koblenz, Germany , pp.112-130 [Details]
(2005)The Seventh International Workshop on First-Order Theorem Proving (FTP'05), Koblenz, Germany
A.K. Seda and V. Komendantsky ; (2005) Computation of Normal Logic Programs by by Fibring Neural Networks The Seventh International Workshop on First-Order Theorem Proving (FTP'05), Koblenz, Germany , pp.97-111 [Details]
(2004)The Third International Conference on Information, Tokyo, November, 2004
A.K. Seda and M. Lane; (2004) On Approximation in the Integration of Connectionist and Logic-Based Systems . In: L. Li and K.K. Yen eds. The Third International Conference on Information, Tokyo, November, 2004 , pp.297-300 [Details]
(2004)The Third International Conference on Information, Tokyo, November, 2004
A.K. Seda; (2004) Analysis in the Semantics of Computation . In: L. Li and K.K. Yen eds. The Third International Conference on Information, Tokyo, November, 2004 , pp.301-304 [Details]
(2003)The 26th Annual German Conference on Artificial Intelligence, KI2003, Hamburg, Germany
A.K. Seda and P. Hitzler; (2003) Continuity of Semantic Operators in Logic Programming and their Approximation by Artificial Neural Networks . In: A. Gunter, R. Kruse and B. Neumann eds. The 26th Annual German Conference on Artificial Intelligence, KI2003, Hamburg, Germany , pp.355-369 [Details]
(2003)The Sixth International Workshop in Formal Methods (IWFM'03)
A.K. Seda and M. Lane; (2003) On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs The Sixth International Workshop in Formal Methods (IWFM'03) Dublin City University, Dublin, Ireland, , pp.1-15 [Details]
(2001)The Fifth Irish Workshop on Formal Methods (IWFM'01)
A.K. Seda and P. Hitzler, ; (2001) VDM meets LCF: Domain-Theoretic and Topological Aspects of VDM The Fifth Irish Workshop on Formal Methods (IWFM'01) , pp.1-18 [Details]
(2001)The joint IIIS \& IEEE meeting of the 5th World Multiconference on Systemics, Cybernetics and Informatics (SCI2001) and the 7th International Conference on Information Systems Analysis and Synthesis (ISAS2001)
A.K. Seda and P. Hitzler; (2001) Semantic Operators and Fixed-Point Theory in Logic Programming The joint IIIS \& IEEE meeting of the 5th World Multiconference on Systemics, Cybernetics and Informatics (SCI2001) and the 7th International Conference on Information Systems Analysis and Synthesis (ISAS2001) , pp.224-229 [Details]
(2001)The Fourth Irish Workshop on Formal Methods (IWFM'00)
A.K. Seda and P. Hitzler; (2001) A Note on the Relationships Between Logic Programs and Neural Networks . In: P. Gibson and D. Sinclair eds. The Fourth Irish Workshop on Formal Methods (IWFM'00) , pp.1-9 [Details]
(2000)4th World Multiconference on Systemics, Cybernetics and Informatics (SCI2000) 6th International Conference on Information Systems Analysis and Synthesis (ISAS2000)
A.K. Seda and P. Hitzler; (2000) A New Fixed-Point Theorem for Logic Programming Semantics 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI2000) 6th International Conference on Information Systems Analysis and Synthesis (ISAS2000) , pp.418-423 [Details]
(1999)The Fifth International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR'99)
A.K. Seda and P. Hitzler; (1999) Characterizations of Classes of Programs by Three-Valued Operators The Fifth International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR'99) , pp.357-371 [Details]
(1999)The Third Irish Workshop on Formal Methods (IWFM'99)
A.K. Seda and P. Hitzler; (1999) Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases . In: A. Butterfield and S. Flynn eds. The Third Irish Workshop on Formal Methods (IWFM'99) , pp.1-18 [Details]
(1999)The Second Irish Workshop on Formal Methods (IWFM'98)
A.K. Seda and P. Hitzler; (1999) Strictly Level-Decreasing Logic Programs . In: A. Butterfield and S. Flynn eds. The Second Irish Workshop on Formal Methods (IWFM'98) , pp.1-18 [Details]
(1999)The Sixteenth International Conference on Logic Programming (ICLP'99)
A.K. Seda and P. Hitzler; (1999) A Characterization of Acceptability . In: Danny De Schreye eds. The Sixteenth International Conference on Logic Programming (ICLP'99) , pp.609-610 [Details]
(1985)The influence of Computers and Informatics on Mathematics and its Teaching
A.K. Seda; (1985) Computer Science and the Mathematics Curriculum The influence of Computers and Informatics on Mathematics and its Teaching Strasbourg, , pp.129-132 [Details]

Published Reports

 YearPublication
(2006)Bilattice-Based Annotated Logic Programming: Declarative and Operational Semantics.
A.K. Seda and E. Komendantskaya; (2006) Bilattice-Based Annotated Logic Programming: Declarative and Operational Semantics. Department of Mathematics, University College, Cork, Ireland, Department of Mathematics, University College, Cork, Ireland. [Details]
(2000)Dislocated Topologies.
A.K. Seda and P. Hitzler, ; (2000) Dislocated Topologies. Department of Mathematics, University College, Cork, Ireland, Department of Mathematics, University College, Cork, Ireland. [Details]
(2000)A Topological View of Acceptability.
A.K. Seda and P. Hitzler, ; (2000) A Topological View of Acceptability. Department of Mathematics, University College, Cork, Ireland, Department of Mathematics, University College, Cork, Ireland. [Details]
(1999)A Topological Characterization of Acceptability.
A.K. Seda and P. Hitzler, ; (1999) A Topological Characterization of Acceptability. Department of Mathematics, University College, Cork, Ireland, Department of Mathematics, University College, Cork, Ireland. [Details]
(1999)Simplifying Termination Proofs for Pure Prolog Programs.
A.K. Seda and P. Hitzler; (1999) Simplifying Termination Proofs for Pure Prolog Programs. Department of Mathematics, University College, Cork, Ireland, Department of Mathematics, University College, Cork, Ireland. [Details]
(1997)Sur les programmes logiques localement stratifies.
A.K. Seda and P. Hitzler; (1997) Sur les programmes logiques localement stratifies. Department of Mathematics, University College Cork, Department of Mathematics, University College Cork. [Details]
(1995)On Level Mappings and Metrics in Logic Programming.
A.K. Seda; (1995) On Level Mappings and Metrics in Logic Programming. Department of Mathematics, University College, Cork, Ireland, Department of Mathematics, University College, Cork, Ireland. [Details]
(1993)Topological Methods in Logic Programming.
A.K. Seda; (1993) Topological Methods in Logic Programming. Department of Mathematics, University College, Cork, Ireland, Department of Mathematics, University College, Cork, Ireland. [Details]
(1992)Topologie generale et semantique des programmes logiques definis.
A.K. Seda; (1992) Topologie generale et semantique des programmes logiques definis. Department of Mathematics, University College, Cork, Ireland, Department of Mathematics, University College, Cork, Ireland. [Details]
(1989)Using Small Expert System Shells.
A.K. Seda; (1989) Using Small Expert System Shells. Department of Mathematics, University College, Cork, Ireland, Department of Mathematics, University College, Cork, Ireland. [Details]
(1985)Groupoid Methods in Ergodic Theory, von Neumann Algebra Theory and C*-algebra Theory: A Bibliography and Guide to the Literature.
A.K. Seda; (1985) Groupoid Methods in Ergodic Theory, von Neumann Algebra Theory and C*-algebra Theory: A Bibliography and Guide to the Literature. Department of Mathematics, University College, Cork, Ireland, Department of Mathematics, University College, Cork, Ireland. [Details]
(1982)Mesures sur les espaces fibres et les espaces fibres de Banach.
A.K. Seda; (1982) Mesures sur les espaces fibres et les espaces fibres de Banach. Department of Mathematics, University College, Cork, Ireland, Department of Mathematics, University College, Cork, Ireland. [Details]
(1976)Mesures invariantes pour les groupes des operateurs.
A.K. Seda; (1976) Mesures invariantes pour les groupes des operateurs. Department of Mathematics, University College, Cork, Ireland, Department of Mathematics, University College, Cork, Ireland. [Details]

Professional Activities

Associations

 AssocationFunctionFrom / To
American Mathematical Society Member30-DEC-99 / 30-DEC-99
European Association for Logic, Language and Information Member30-DEC-99 / 30-DEC-99
European Association for Theoretical Computer Science Member30-DEC-99 / 30-DEC-99
Formal Aspects of Computer Science Group of the British Computer Society Member30-DEC-99 / 30-DEC-99
Institute of Mathematics and its Applications Member, Fellow, CMath, CSci30-DEC-99 / 30-DEC-99
Irish Formal Methods Special Interest Group Member30-DEC-99 / 30-DEC-99
Irish Mathematical Society Member30-DEC-99 / 30-DEC-99
London Mathematical Society Member30-DEC-99 / 30-DEC-99
New York Academy of Sciences Member30-DEC-99 / 30-DEC-99
Artificial Intelligence Association of Ireland Member30-DEC-99 / 30-DEC-99

Committees

 CommitteeFunctionFrom / To
Programme Committee Member: for the International Workshops on Formal Methods IWFM'03 Member and reviewer1899 / 1899
Steering Committee for the Second Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT2002), Galway, 2002. Member and reviewer.1899 / 1899
Member of Steering Committee for Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT2004), Trinity College Dublin, 2004. Member and reviewer.1899 / 1899
Member of Programme Committee for Information'02, Beijing, China, July, 2002. Member.1899 / 1899
Member of Programme Committee Information'04, Tokyo, Japan, November, 2004. Member and Co-Chair1899 / 1899
Programme Committee for the International Conference on Applied Mathematics, Bratislava, April, 2003. Member.1899 / 1899

Employment

 EmployerPositionFrom / To
UCC Senior Lecturer02-FEB-87 /
A.E.I. Student Electrical Engineer01-SEP-62 / 30-JUN-66
UCC Temporary Lecturer01-OCT-72 / 30-SEP-75
UCC College Lecturer01-OCT-75 / 31-JAN-78

Education

 YearInstituionQualificationSubject
1969University of Wales BSC (HONS)Mathematics
1971University of Warick MScMathematics
1974University of Wales PhDMathematics

Reviews

 JournalRole
Information Editor
Asian Information-Science-Life: An International Journal Editor
Bulletin Of The European Association For Theoretical Computer Science (Eatcs) Editor
Proceedings Of Mfcsit2000 Editor

Other Activities

 Description

Research Talks:   Details of invited talks
YearTitleLocationDate
2004Operators and the Semantics of Computation.University of Osaka, Japan.December
2005Some Aspects of the Integration of Logic­-Based and Connectionist Systems.Laboratory for Foundations of Computer Science, University of Edinburgh.

September


List of Expert Assignments
YearAssignmentLocation
2001 and 2002

Member of the Panel of Evaluators for proposals in Mathematics and Computer Science for the Basic Research Grants Scheme, Enterprise Ireland.

Dublin

May, 2001

Referee for an application to the Royal Irish Academy/Royal Society Exchange Scheme.

Dublin

December, 2002

Referee for the Engineering and Physical Sciences Research Council (EPSRC), UK.

London

January, 2003

Foreign referee for the Flemish Foundation for Scientific Research.

Brussels
2007 and 2008

Member of the panel of External Assessors for Programme Approval (Higher Education MathematicsDepartments, UK) by the Institute of Mathematics and its Applications (IMA).

Sussex, U.K.


Visits Abroad
YearDestination of VisitPurposePeriod
2003

TU Dresden, Germany

Undertake research with Dr. P. Hitzler

Two weeks in April

2005

Laboratory for Foundations of Computer Science (LFCS), University of Edinburgh

Undertake research with Dr. J. Power

One week in September


Visiting Academics
YearNameInstitute of originPurposePeriod
20041. Dr. P. Hitzler

TU Dresden

To undertake research with A.K. Seda’s group

One week in July

20051. Dr. J. Power

LFCS, Edinburgh

To undertake research with A.K. Seda’s group

One week in May

20061. Dr. J. PowerLFCS, EdinburghTo undertake research with A.K. Seda’s group

One week in May

20071. Dr. J. Power

LFCS, Edinburgh

To undertake research with A.K. Seda’s group

One week in June

Teaching Activities

Teaching Interests

Contact details

Search profiles by name

Search profiles by topic

School of Mathematical Sciences

Eolaíochtaí Matamaiticiúla

Room 1-57, First Floor floor, T12 XF62

Top