Khalil Esper

Researcher @TF_UNI_Erlangen @UniFAU

[Khalil Esper @KhalilEsper]

Looking forward to presenting my paper at #NGRES @hipeac tomorrow at 3:00 pm.
program: https://t.co/UCPh2pGfYM
https://t.co/mCX1zB4CZN
#HiPEAC22 #NGRES22

[Khalil Esper @KhalilEsper]

#MEMOCODE conference starts today (co-located with FM21) where I'm going to present my work tomorrow at 4:00 pm.
program: https://t.co/c0bYzqHVcV

[Formal Methods 2026 @FMsymp]

The first events of #formalmethods21, including several tutorials and the Doctoral Symposium, starts this Saturday, Nov 20. There's still time to register! https://t.co/DflnJltfDB
@FormalMtds #fm21

[Khalil Esper @KhalilEsper]

@ScienceAlert Source: