Alexander Malkis

Contact

Institut für Informatik (I20)
Technische Universität München
Room MI 01.08.055
Boltzmannstr. 3
85748 Garching bei München, Germany

Tel.: (+49) 89 289 17337
Fax: (+49) 89 289 18579
malkis at sec dot in dot tum dot de

Current status

Postdoc at TU München. Here is my curriculum vitae.

Research interests

Teaching

Publications

I am rewarding discovering errors in my publications.

Invited talks and tutorials

Development

Reviewed for

VMCAI'06, PLDI'07, SAS'07, CAV'08, POPL'08, FMCAD'08, SOFSEM'09, TACAS'09, VMCAI'09, CAV'09, LICS'10, POPL'10, ESOP'11, FM'11, SOFSEM'11, CAV'11, VMCAI'11, POST'12, FACS'12, POPL'13, SOCP, CONCUR'14, Acta Informatica