# Associate Professor Barry Jay

### Biography

Associate Professor Barry Jay is a member of the School of Software at the University of Technology, Sydney. He obtained his BSc (Hons, pure mathematics) from the University of Sydney (1980) and his PhD(mathematics) from McGill University, Montreal (1984). He learned about computing as a senior research fellow at the Laboratory for the Foundations of Computer Science in Edinburgh before moving to UTS in1993. He served a term as Associate Dean for Research.

**Associate Professor,**School of Software

**Core Member,**Centre for Artificial Intelligence

**Phone**

**Fax**

### Research Interests

In 1990s he developed the theory of shaped data structures which underpins his language FISh. In 2000s he developed pattern calculus which underpins the bondi programming language, as explained in his monograph "Pattern Calculus" (Springer, 2009). In 2010s he is developing a general theory of intensional computation, in which the generic queries of pattern calculus are generalised to include program analyses that are written in the source language, without any need for encoding. Recently, he has been verifying his proofs using he Coq theorem-prover, and uploading them to GitHub.

**Can supervise:**Yes

## Books

*Pattern Calculus: Computing with Functions and Structures*, 1, Springer, New York, USA.

View/Download from: UTS OPUS or Publisher's site

## Conferences

*2013 International Symposium on Theoretical Aspects of Software Engineering*, IEEE, Birmingham UK, pp. 233-240.

View/Download from: UTS OPUS or Publisher's site

*The 16th ACM SIGPLAN International Conference on Functional Programming*, International Conference on Functional Programming, ACMPress, Tokyo, Japan, pp. 247-258.

View/Download from: UTS OPUS

*ICFP 11 - PROCEEDINGS OF THE 2011 ACM SIGPLAN: INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING*, pp. 247-258.

*IFIP Advances in Information and Communication Technology - Theoretical Computer Science - Proceedings of 6th IFIP TC 1/WG 2.2 International Conference*, IFIP International Conference on Theoretical Computer Science, Springer, Brisbane, Australia, pp. 244-258.

View/Download from: UTS OPUS or Publisher's site

*Mathematics of Program Construction Proceedings*, International Conference, MPC, Springer, Marseille, France, pp. 2-27.

View/Download from: UTS OPUS or Publisher's site

*Proceedings of the Thirteenth Computing: The Austalasian Theory Symposium (CATS2007)*, Computing: The Australasian Theory Symposium, Australian Computer Society, Victoria, Australia, pp. 1-163.

*Computer Science 2006 - Proceedings of the 29th Australasian Computer Science Conference*, Australasian Computer Science Conference, Australian Computer Society Inc, Hobart, Tasmania, pp. 287-295.

View/Download from: UTS OPUS

*Higher-Order Rewriting, electronic proceedings*, Higher-Order Rewriting, Seattle, pp. 1-6.

*Proceedings of the CASCON 2006*, Conference of the Center for Advanced Studies on Collaborative Research, ACM Press, Toronto, Canada, pp. 1-15.

View/Download from: UTS OPUS or Publisher's site

*Higher-Order Rewriting, electronic proceedings*, Higher-Order Rewriting, Seattle, pp. 1-6.

*Programming Languages And Systems, Proceedings, Lecture Notes in Computer Science*, European Symposium on Programming, Springer-Verlag Berlin, Austria, pp. 100-114.

View/Download from: UTS OPUS or Publisher's site

*Proceedings - 23rd Australasian Computer Science Conference, ACSC 2000*, pp. 136-142.

View/Download from: Publisher's site

*Electronic Notes in Theoretical Computer Science*, pp. 320-333.

View/Download from: Publisher's site

*Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)*, pp. 650-661.

## Journal articles

*Electronic Notes in Theoretical Computer Science*, vol. 325, pp. 221-236.

View/Download from: Publisher's site

*LOGICAL METHODS IN COMPUTER SCIENCE*, vol. 10, no. 3.

View/Download from: UTS OPUS or Publisher's site

*Journal Of Symbolic Logic*, vol. 76, no. 3, pp. 807-826.

View/Download from: UTS OPUS or Publisher's site

*Journal Of Functional Programming*, vol. 19, no. 2, pp. 191-225.

View/Download from: UTS OPUS or Publisher's site

*International Journal Of Foundations Of Computer Science*, vol. 18, no. 2, pp. 195-196.

*INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE*, vol. 18, no. 2, pp. 195-196.

View/Download from: Publisher's site

*Electronic Notes in Theoretical Computer Science - Proceedings of Computing: The Australasian Theory Symposium (CATS) 2004*, vol. 91, pp. 195-211.

View/Download from: UTS OPUS

*ACM Transactions on Programming Language and Systems (TOPLAS)*, vol. 26, no. 6, pp. 911-937.

View/Download from: UTS OPUS or Publisher's site

*Typed Lambda Calculi And Applications, Proceedings*, vol. 2044, pp. 217-239.

*Science Of Computer Programming*, vol. 37, pp. 207-224.

View/Download from: Publisher's site

*International Journal on Software Tools for Technology Transfer*, vol. 2, no. 3, pp. 307-315.

View/Download from: Publisher's site

*Programming Languages And Systems*, vol. 1381, pp. 139-153.

*Theoretical Computer Science*, vol. 185, pp. 237-258.

*Journal Of Pure And Applied Algebra*, vol. 116, pp. 169-183.

View/Download from: Publisher's site

*ACM Computing Surveys*, vol. 28, pp. 355-357.

View/Download from: Publisher's site

*THEORETICAL COMPUTER SCIENCE*, vol. 169, no. 1, pp. 1-1.

View/Download from: Publisher's site

*Science Of Computer Programming*, vol. 25, pp. 251-283.

View/Download from: Publisher's site

*Theoretical Computer Science*, vol. 115, pp. 151-189.

*Rairo-informatique Theorique Et Applications-theoretical Informatics And Applications*, vol. 26, pp. 403-424.

*Lecture Notes In Mathematics*, vol. 1488, pp. 187-192.

*Lecture Notes In Computer Science*, vol. 530, pp. 151-163.

*Journal Of Pure And Applied Algebra*, vol. 66, pp. 271-285.

View/Download from: Publisher's site

*Journal Of Pure And Applied Algebra*, vol. 59, pp. 61-85.

View/Download from: Publisher's site

*Journal Of Pure And Applied Algebra*, vol. 53, pp. 227-238.

View/Download from: Publisher's site

*Bulletin Of The Australian Mathematical Society*, vol. 33, pp. 161-175.

View/Download from: Publisher's site

**Selected Peer-Assessed Projects**