Email Gateway (Aug 22 2022 at 16:10): Email Gateway (Aug 22 2022 at 16:10):From: Gergely Buday <buday.gergely@uni-eszterhazy.hu>
Dear Isabelle community,
I am looking for funding to write my dissertation on program verification.
I have finished the courses part of the doctoral school and have a detailed
and reviewed research proposal.
Obviously I would like to use Isabelle for the research.
My full time teaching job leaves little time for research, so I seek funding
to work solely on writing the journal papers and the dissertation for a
year. One of the planned papers is an Isar tutorial.
I would do this here in Hungary for family reasons and since I have the
necessary infrastructure.
Please let me know if you know any funding source that would support such a
scheme.
I can send my research proposal upon request.
Last updated: Apr 26 2024 at 01:06 UTC