Research fellow
Center for Computational Science and Mathematical Modelling
Coventry University.
E-mail: ad6397@coventry.ac.uk

News

To see my academic news in the year 2021 click here (News 2021). The news below are for this year, 2022.

• The first version of SCPPack, a Maple package to solve Set Covering Problem (SCP) and Set Covering Problem with Reasons (SCPR) is out, DOI: 10.5281/zenodo.6609202.

  2022-Jun-02

• Our poster, entitled "An SMT solver for non-linear real arithmetic inside Maple" has been accepted for presentation at ISSAC 2022.

  2022-May-29

• I am the Independent Subject Expert of the Progress Review Panel session of a PhD student that will be held on 17th of June.

  2022-May-10

• I am the Independent Subject Expert of the Progress Review Panel session of a PhD student that will be held on 8th of June.

  2022-May-04

• The paper "Kac-Rice formulas and the number of solutions of parametrized systems of polynomial equations" is accepted in the AMS journal, Mathematics of Computation.

  2022-Apr-15

• The special session for ACA that Ali Kemal Uncu and I proposed got approval. This session is called "Computer Algebra Applications in the Life Sciences" and will be held as part of ACA, Applications of Computer Algebra, conference in Gebze, Turkey, 15-19 August. For further information see the homepage of this session: https://sites.google.com/view/aca22-casinlife/home.

  2022-Apr-13

• Happy Songkran, the new Thai year ^_^

  2022-Apr-13

• I am a PC (Program Committee) member of Symbolic Computation track of SYNASC for the second year. SYNASC 2022, 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, will be held in Linz, Austria, 12-15 September.

  2022-Apr-07

• Happy Noruz, the new Persian year ^_^

  2022-Mar-21

• I presented my poster at the parliament on 7th of March. The university news has a great page with a nice photo which you can check at https://www.coventry.ac.uk/research/about-us/research-news/2022/coventry-mathematic-scientist-invited-to-present-his-research-to-parliament/. They also made a LinkedIn post, click here to see it.

  2022-Mar-10

• I will be in Bonn, Germany 12-16 March to participate SYMBIONT. I will give a talk on 15th of March. The title of my talk is Polynomial Superlevel Set Representation of the Multistationarity Region of Chemical Reaction Networks.

  2022-Mar-07

• There will be a rehearsal for the poster presentation at the parliament in the CSM center on 1st of March.

  2022-Feb-25

• I will give a talk at Dagstuhl summer school on 15th of February. The title of the talk is "Computational limits of using CAD and SMT-solvers in Logical Analysis of Regulatory Networks".

  2022-Feb-07

• A new preprint is available: Resultant Tools for Parametric Polynomial Systems with Application to Population Models.

  2022-Feb-01

• I will give a talk at the last event of SYMBIONT project. The title of my talk is "Polynomial Superlevel Set Representation of the Multistationarity Region of Chemical Reaction Networks". The event is on the memorial of Andreas Weber. The event holds in 14-16 of March.

  2022-Jan-27

• I am the Independent Subject Expert of the Progress Review Panel session of a PhD student that will be held on 22nd of February.

  2022-Jan-26

• I have been selected as one of the finalists in the math category, in STEM for Britain competition (https://stemforbritain.org.uk/). The next step of this competition is on 7th of March at the house of commons (parliament). Very excited.

  2022-Jan-25

• The first version of ResChain, a Maple package to do elimination of variables using some new Resultant techniques is out, DOI: 10.5281/zenodo.5902593.

  2022-Jan-25

• I participate the Dagstuhl seminar "New Perspectives in Symbolic Computation and Satisfiability Checking" online. I am also the remote VCA. 14-18 February.

  2022-Jan-21

Work Experience

Research Fellow
2021.01.01 - Present.
Center for Data Science,
Coventry University, Coventry, UK.
DEWCAD project.
PI: Matthew England.

Research Fellow
2020.01.01 - 2020.12.31.
Bolyai Institute,
University of Szeged, Szeged, Hungary.
Nonlinear Dynamics in the Mathematical Models of Cell Biology.
PI: Gergely Röst.

Postdoctoral Researcher
2019.05.01 - 2019.12.31.
2018.09.01 - 2018.10.31. *
Department of Mathematics,
University of Copenhagen, Copenhagen, Denmark.
Mathematics of Chemical Reaction Networks.
PI: Elisenda Feliu.

PhD Researcher **
2015.09.01 - 2018.08.30.
Department of Mathematics,
University of Copenhagen, Copenhagen, Denmark.
Applied Algebraic Geometry in Biology
PI: Elisenda Feliu.

* In the period 2018.11.01 - 2019.04.30 I was away visiting family, friends and of course getting married.
** My PhD was a job as well with pension and tax! Don't exclude it when you are calculating number of the years that I have work experience.

Education

PhD
2015.09.01 - 2018.08.30.
Department of Mathematics,
University of Copenhagen, Copenhagen, Denmark.
Applied Algebraic Geometry in Biology
Thesis title: Algebraic tools in the study of Multistationarity of Chemical Reaction Networks
Supervisor: Elisenda Feliu.

M.Sc.
2012.09.22 - 2014.09.15.
Department of Mathematics,
Institute for Advaned Studies in Basic Sciences, IASBS University, Zanjan, Iran.
Pure Mathematics; Algebraic Geometry.
Thesis title: Resolution of Singularities and Hironaka's theorom.
Supervisor: Abbas Nasrollah-nejad.

B.Sc.
2008.09.22 - 2012.06.21.
Department of Mathematics,
University of Qom, Qom, Iran.
Pure Mathematics.

Flag counter

This flag counter counts the number of visitors to my homepages, not only this page :) For example see; hovakhshatra.github.io.