[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
