Huy-Nam Nguyen graduated as engineer in automation from the Ecole Nationale Supérieure des Mines de Paris in 1977. He received his Docteur-Ingénieur degree in Applied Mathematics fom the Paris-IX University in 1982. Since 1981 he is with ATOS/Bull where he participates to the design and development of many generation of proprietary or open servers. His topics of interest include, ASIC design and (Formal) Verification, Hardware Emulation, System Rapid Prototyping and AI.