BIOGRAPHY
Research Interests
The research area in question is the study of a number of models of computation including logicbased 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 fixedpoint 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 manyvalued logics and probabilities.Publications
Books
Year  Publication  

(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
Year  Publication  

(2007)  'Connectionist Representation of MultiValued Logic Programs. Invited chapter (Chapter 12)' A.K. Seda, E. Komendantskaya and M. Lane, ; (2007) 'Connectionist Representation of MultiValued Logic Programs. Invited chapter (Chapter 12)' In: B. Hammer and P. Hitzler (eds). B. Hammer and P. Hitzler (Eds.), ``Perspectives of NeuralSymbolic 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 FixedPoint Theorems of PriessCrampe and Ribenboim in Logic Programming' Hitzler, P. and Seda, A.K.; (2002) 'The FixedPoint Theorems of PriessCrampe 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
Year  Publication  

(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 InformationMFCSIT'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
Year  Publication  

(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 SLDResolution for BilatticeBased Annotated Logic Programs' Seda, AK; Komedantskaya, E; (2009) 'Sound and Complete SLDResolution for BilatticeBased Annotated Logic Programs' [Details]  
(2009)  'Properties of General Semantic Operators Determined by LogicBased Systems' Seda, AK; Lane, M; (2009) 'Properties of General Semantic Operators Determined by LogicBased Systems' [Details]  
(2006)  'On the Integration of Connectionist and LogicBased Systems' A.K. Seda; (2006) 'On the Integration of Connectionist and LogicBased 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 LogicBased Systems' A.K. Seda and M. Lane; (2006) 'Some Aspects of the Integration of Connectionist and LogicBased 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 SupportedModel Classes of Logic Programs' A.K. Seda and P. Hitzler; (2001) 'Unique SupportedModel 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 SingleStep Operators Determined by Belnap's FourValued Logic' A.K. Seda and E. Clifford; (2000) 'Uniqueness of the Fixed Points of SingleStep Operators Determined by Belnap's FourValued 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: QuasiMetrics, Multivalued Mappings and KnasterTarski Theorem' A.K. Seda and P. Hitzler; (1999) 'Some Issues Concerning Fixed Points in Computational Logic: QuasiMetrics, Multivalued Mappings and KnasterTarski Theorem' [Details]  
(1997)  'Quasimetrics and the Semantics of Logic Programs' A.K. Seda ; (1997) 'Quasimetrics and the Semantics of Logic Programs' [Details]  
(1996)  'Quasimetrics and Fixed Points in Computing' A.K. Seda; (1996) 'Quasimetrics 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 Kowalskivan Emden Theorem' A.K. Seda; (1994) 'Topological View of the Kowalskivan 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)  'GSpaces and Topological Groupoids' A.K. Seda and M.K. Dakin; (1977) 'GSpaces 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
Year  Publication  

(1998)  'Comments on the MathFit Programme' A.K. Seda; (1998) 'Comments on the MathFit Programme' Irish Mathematical Society Bulletin, 40 :5659. [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 :3143. [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 :4572. [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 :3848. [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 :5154. [Details]  
(1983)  'Computer Science and the Mathematics Curriculum' A.K. Seda; (1983) 'Computer Science and the Mathematics Curriculum' Irish Mathematical Society Newsletter, 7 :7177. [Details] 
Conference Publications
Year  Publication  

(2009)  The Fifth International Conference on Information, Kyoto, Japan, November 69, 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 69, 2009 , pp.14 [Details]  
(2007)  The Second International WorkConference 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 WorkConference on the Interplay between Natural and Artificial Computation (IWINAC2007) , pp.224233 [Details]  
(2006)  InformationMFCSIT'06 A.K. Seda and E. Komendantskaya; (2006) Declarative and Operational Semantics for BilatticeBased Annotated Logic Programs InformationMFCSIT'06 , pp.229232 [Details]  
(2006)  InformationMFCSIT'06 A.K. Seda and M. Lane; (2006) Some Properties of General Semantic Operators InformationMFCSIT'06 , pp.237240 [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.170182 [Details]  
(2005)  The Seventh International Workshop on FirstOrder Theorem Proving (FTP'05), Koblenz, Germany A.K. Seda, E. Komendantskaya and V. Komendantsky; (2005) On Approximation of the Semantic Operators Determined by BilatticeBased Logic Programs The Seventh International Workshop on FirstOrder Theorem Proving (FTP'05), Koblenz, Germany , pp.112130 [Details]  
(2005)  The Seventh International Workshop on FirstOrder 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 FirstOrder Theorem Proving (FTP'05), Koblenz, Germany , pp.97111 [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 LogicBased Systems . In: L. Li and K.K. Yen eds. The Third International Conference on Information, Tokyo, November, 2004 , pp.297300 [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.301304 [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.355369 [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.115 [Details]  
(2001)  The Fifth Irish Workshop on Formal Methods (IWFM'01) A.K. Seda and P. Hitzler, ; (2001) VDM meets LCF: DomainTheoretic and Topological Aspects of VDM The Fifth Irish Workshop on Formal Methods (IWFM'01) , pp.118 [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 FixedPoint 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.224229 [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.19 [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 FixedPoint 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.418423 [Details]  
(1999)  The Fifth International Conference on Logic Programming and NonMonotonic Reasoning (LPNMR'99) A.K. Seda and P. Hitzler; (1999) Characterizations of Classes of Programs by ThreeValued Operators The Fifth International Conference on Logic Programming and NonMonotonic Reasoning (LPNMR'99) , pp.357371 [Details]  
(1999)  The Third Irish Workshop on Formal Methods (IWFM'99) A.K. Seda and P. Hitzler; (1999) Multivalued Mappings, FixedPoint Theorems and Disjunctive Databases . In: A. Butterfield and S. Flynn eds. The Third Irish Workshop on Formal Methods (IWFM'99) , pp.118 [Details]  
(1999)  The Second Irish Workshop on Formal Methods (IWFM'98) A.K. Seda and P. Hitzler; (1999) Strictly LevelDecreasing Logic Programs . In: A. Butterfield and S. Flynn eds. The Second Irish Workshop on Formal Methods (IWFM'98) , pp.118 [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.609610 [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.129132 [Details] 
Published Reports
Year  Publication  

(2006)  BilatticeBased Annotated Logic Programming: Declarative and Operational Semantics. A.K. Seda and E. Komendantskaya; (2006) BilatticeBased 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
Assocation  Function  From / To  

American Mathematical Society  Member  30DEC99 / 30DEC99  
European Association for Logic, Language and Information  Member  30DEC99 / 30DEC99  
European Association for Theoretical Computer Science  Member  30DEC99 / 30DEC99  
Formal Aspects of Computer Science Group of the British Computer Society  Member  30DEC99 / 30DEC99  
Institute of Mathematics and its Applications  Member, Fellow, CMath, CSci  30DEC99 / 30DEC99  
Irish Formal Methods Special Interest Group  Member  30DEC99 / 30DEC99  
Irish Mathematical Society  Member  30DEC99 / 30DEC99  
London Mathematical Society  Member  30DEC99 / 30DEC99  
New York Academy of Sciences  Member  30DEC99 / 30DEC99  
Artificial Intelligence Association of Ireland  Member  30DEC99 / 30DEC99 
Committees
Committee  Function  From / To  

Programme Committee Member: for the International Workshops on Formal Methods IWFM'03  Member and reviewer  1899 / 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 CoChair  1899 / 1899  
Programme Committee for the International Conference on Applied Mathematics, Bratislava, April, 2003.  Member.  1899 / 1899 
Employment
Employer  Position  From / To  

UCC  Senior Lecturer  02FEB87 /  
A.E.I.  Student Electrical Engineer  01SEP62 / 30JUN66  
UCC  Temporary Lecturer  01OCT72 / 30SEP75  
UCC  College Lecturer  01OCT75 / 31JAN78 
Education
Year  Instituion  Qualification  Subject  

1969  University of Wales  BSC (HONS)  Mathematics  
1971  University of Warick  MSc  Mathematics  
1974  University of Wales  PhD  Mathematics 
Reviews
Journal  Role  

Information  Editor  
Asian InformationScienceLife: 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
 
List of Expert Assignments
 
Visits Abroad
 
Visiting Academics
