Sela Mador-Haim's Home Page

That's me Sela Mador-Haim
PhD Student
Computer and Information Science
University of Pennsylvania
Office: 614 Levine Hall, 3330 Walnut Street
           Philadelphia, PA

I am a fifth year PhD student at the University of Pennsylvania. My advisors are Rajeev Alur and Milo Martin.

Research interests

My main scientific interests are formal methods and formal semantics. I am currently studying memory consistency models of multiprocessors.

Bio (the extra-expedited version)

In the past ventures include an MA in Computer Science in the Technion on the topic of  Natural Language Interface for GIS (advisor: Yoad Winter), worked as software engineer at Intel, where I developed formal verification tools for verifying Intel's processors, and did a BA in physics (also at the Technion)


Peer reviewed
Technical reports

Workshop organization

I am a co-chair of REORDER 2012, First International Workshop on Memory Consistency Models, co-located with CAV 2012

Misc unrelated links

Sela Mador-Haim
Last modified: Fri Jan 24 17:01:59 EDT 2011