Academic Service
SIGSAM
I have been elected to the role of Treasurer of the ACM Special Interest Group in Symbolic and Algebraic Manipulation (ACM SIGSAM). for the term 1 July 2021 – 30 June 2023.
From January 2015 - June 2021 I was the Information Director for SIGSAM. Inititives during my time as Information Director include: a complete redesign of the website to make it responsive (adapt to screen size); updating content of the website to include database of computer algebra conference series; and introducing a SIGSAM twitter account.
I have been appointed to the ISSAC Steering Committee to represent SIGSAM, for a three year term starting 1st July 2021.
External Examiner
Starting 2023, I am the External Examiner for the MSc Data Analytics and MSc Data Science courses at Aston University.
Conferences
-
Chair Positions
-
August 2023: International Worshop on Computer Algebra in Scientific Computing (CASC) (Havana, Cuba).
Conference Website.
PC Chair.
-
August 2022: International Worshop on Computer Algebra in Scientific Computing (CASC) (Gebze-Istanbul, Turkey).
Conference Website.
PC Chair.
-
September 2021: International Worshop on Computer Algebra in Scientific Computing (CASC) (Sochi, Russia).
Conference Website.
PC Chair.
-
September 2020: International Worshop on Computer Algebra in Scientific Computing (CASC) (Linz, Austria).
Conference Website.
PC Chair.
-
July 2020: International Congress on MathematicalSoftware (ICMS) (Braunschweig, Germany).
Conference Website.
Artificial Intellegence and Mathematical Software Session Chair and Real Algebraic Geometry Session co-Chair.
-
November 2019: International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS) (Gebze-Istanbul, Turkey).
Conference Website.
co-Chair of Software and Tools Track.
-
August 2019: International Worshop on Computer Algebra in Scientific Computing (CASC) (Moscow, Russia).
Conference Website.
co-PC Chair.
-
July 2018: International Congress on MathematicalSoftware (ICMS) (South Bend, IN, USA).
Conference Website.
Machine Learning Session Chair and SC-Square Session co-Chair.
-
November 2017: International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS) (Vienna, Austria).
Conference Website.
Track 1 co-Chair.
-
July 2017: Conferences on Intelligent Computer Mathematics (CICM) (Edinburgh, UK).
Conference Website.
Calculemus Track Chair.
-
July 2017: Second International Workshop on Satisfiability Checking and Symbolic Computation (SC2)
(Kaiserslautern, Germany).
Conference Website.
General co-Chair.
-
PC Membership
-
July 2024: International Symposium on Symbolic and Algebraic Computation (ISSAC '24) (Raleigh, NC, USA).
Conference Website.
-
July 2024: Ninth International Workshop on Satisfiability Checking and Symbolic Computation (SC2 2023) (Nancy, France).
Conference Website
-
July 2023: Eighth International Workshop on Satisfiability Checking and Symbolic Computation (SC2 2023) (Tromso, Norway).
Conference Website
-
Aug 2022: International Workshop on Computer Algebra in Scientific Computing (CASC) (Gebze-Istanbul, Turkey).
Conference Website.
-
Aug 2022: Seventh International Workshop on Satisfiability Checking and Symbolic Computation (SC2 2022) (Haifa, Israel).
Conference Website
-
Nov 2021: 2021 Maple Conference (online).
Conference Website.
-
Sep 2021: International Workshop on Computer Algebra in Scientific Computing (CASC) (Sochi, Russia).
Conference Website.
-
Jul 2019: Fourth International Workshop on Satisfiability Checking and Symbolic Computation (SC2 '19') (Bern, Switzerland).
Conference Website.
-
Aug 2019: International Workshop on Computer Algebra in Scientific Computing (CASC) (Moscow, Russia).
Conference Website.
-
Sep 2019: International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (Timisoara, Romania).
Conference Website.
PC Member for the Symbolic Computation Track.
-
Jun 2018: Third International Workshop on Satisfiability Checking and Symbolic Computation (SC2 '18') (Oxford, UK).
Conference Website.
-
July 2018: International Congress on MathematicalSoftware (ICMS) (South Bend, IN, USA).
Conference Website.
-
Jul 2018: International Symposium on Symbolic and Algebraic Computation (ISSAC '18) (New York City, USA).
Conference Website.
-
Aug 2018: Conferences on Intelligent Computer Mathematics (CICM '18) (RISC, Hagenburg, Austria).
Conference Website.
-
Sep 2018: International Conference on Artificial Intelligence and Symbolic Computation (AISC '18) (Suzhou, China).
Conference Website.
-
Sep 2018: International Workshop on Computer Algebra in Scientific Computing (CASC) (Lille, France).
Conference Website.
-
Sep 2018: International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (Timisoara, Romania).
Conference Website.
PC Member for the Symbolic Computation Track.
-
November 2017: International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS) (Vienna, Austria).
Conference Website.
Track 1 co-Chair.
-
Jul 2017: Conferences on Intelligent Computer Mathematics (CICM) (Edinburgh, UK).
Conference Website.
-
Jul 2017: Second International Workshop on Satisfiability Checking and Symbolic Computation (SC2) (Kaiserslautern, Germany).
Conference Website.
-
Sep 2017: International Workshop on Computer Algebra in Scientific Computing (CASC) (Beijing, China).
Conference Website.
-
Sep 2017: International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (Timisoara, Romania).
Conference Website.
PC Member for the Symbolic Computation Track.
-
Nov 2017: International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS) (Vienna, Austria).
Conference Website.
-
Sep 2016: First International Workshop on Satisfiability Checking and Symbolic Computation (SC2) (Timisoara, Romania).
Conference Website.
-
Sep 2016: International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (Timisoara, Romania).
Conference Website.
PC Member for the Symbolic Computation Track.
-
Sep2016: International Workshop on Computer Algebra in Scientific Computing (CASC) (Bucharest, Romania).
Conference Website.
-
Mar 2016: Symposium on Symbolic Computation in Software Science (SCSS) (Tokyo, Japan).
Conference Website.
-
Organisational Roles
-
February 2022: Dagstuhl Seminar 22072: New Perspectives in Symbolic Computation and Satisfiability Checking.
Seminar Website.
Seminar Organiser and editor of the accompanying Dagstuhl Report.
-
July 2019: International Symposium on Symbolic and Algebraic Computation (ISSAC) (Beijing, China).
Conference Website.
Publicity Chair.
-
April 2017: East Coast Computer Algebra Day (ECCAD) (Champaign, Illinois, USA).
Conference Website.
Publicity Chair.
-
July 2015: International Workshop on Parallel Symbolic Computation (PASCO) (Bath, UK).
Conference Website.
Local Organiser.
-
July 2015: International Symposium on Symbolic and Algebraic Computation (ISSAC) (Bath, UK).
Conference Website.
Local Organiser, Webmaster and Exhibitors Chair.
-
July 2013: Conferences on Intelligent Computer Mathematics (CICM) (Bath, UK).
Conference Website.
Local Organiser.
-
March 2012: Workshop: Matrix models, tau-functions and geometry (Glasgow, UK).
Conference Website.
Main Organiser.
-
July 2011: Tropical Geometry and Integrable Systems, (Glasgow, UK).
Conference Website.
Local Organiser.
-
April 2011: Workshop: Abelian Functions and equations of hydrodynamic type (Glasgow, UK).
Conference Website.
Main Organiser.
Other Editorial Positions
As of March 2024 I have been appointed to the Editorial Board of Springer journal, Mathematics in Computer Science.
Editor for special issue of the Springer Journal, Mathematics in Computer Science (selected papers from CASC 2022), on Computer Algebra in Scientific Computing (MCS vol. 17 issue 3).
Issue URL: https://link.springer.com/journal/11786/volumes-and-issues/17-3
Editor for special issue of the Springer Journal, Mathematics in Computer Science (selected papers from CASC 2021), on Computer Algebra in Scientific Computing (MCS vol. 16 issue 2).
Issue URL: https://link.springer.com/journal/11786/volumes-and-issues/16-2
Editor for special issue of the Springer Journal, Mathematics in Computer Science (selected papers from CASC 2020), on Computer Algebra in Scientific Computing (MCS vol. 15 issue 3).
Issue URL: https://link.springer.com/journal/11786/volumes-and-issues/15-3
Editor for special issue of the Springer Journal, Mathematics in Computer Science (selected papers from CASC 2019), on Computer Algebra in Scientific Computing (MCS vol. 15 issue 2).
Issue URL: https://link.springer.com/journal/11786/volumes-and-issues/15-2
Editor for special issue of the Elsevier Journal of Symbolic Computation on Symbolic Computation and Satisfiability Checking (JSC vol. 100).
Issue URL: https://www.sciencedirect.com/journal/journal-of-symbolic-computation/vol/100
Peer Review Summary
Journals:
Applicable Algebra in Engineering, Communication and Computing (AAECC) ;
Bioinformatics Advances;
Bulletin of the London Mathematical Society;
Involve, a Journal of Mathematics;
Journal of Symbolic Computation;
Mathematics in Computer Science;
Letters in Mathematical Physics;
SIGMA;
IEEE/ACM Transactions on Computational Biology and Bioinformatics.
Conferences:
Computer Algebra in Scientific Computing (CASC);
Conferences in Intelligent Computer Mathematics (CICM);
International Symposium on Symbolic and Algebraic Computation (ISSAC).
Symposium on Symbolic Computation in Software Science (SCSS);
International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)