Mohamad A. Noureddine

Latest

• From high-level modeling toward efficient and trustworthy circuits
• Reduction and Abstraction Techniques for BIP
• Portable Parallel Programs using architecture-aware libraries