[TYPES/announce] Expression of Interest for MSCA PF on Reversible Computing @ UNIBO, Italy
ivan.lanese
ivan.lanese at gmail.com
Tue Jun 1 05:40:05 EDT 2021
Dear all,
University of Bologna (Italy) is encouraging young researchers to
apply for a MSCA Postdoctoral Fellowships with University of Bologna
as host institution. All information on MSCA Postdoctoral Fellowships can
be found at:
https://ec.europa.eu/research/mariecurieactions/actions/postdoctoral-fellowships
I am particularly interested in supervising future applicants (and
work with them towards an application) in the area of reversible
computing and reversible debugging. Reversible computing allows a
program to execute both forward and backward, and it found a natural
application in the exploration of an execution forward and backward
looking for a bug. The technique is used in mainstream debuggers such
as GDB and WinDBG.
If you are interested or would like to have more information feel free
to contact me.
Best,
Ivan Lanese
More information about the Types-announce
mailing list