Aller au contenu
Trouver un autre spécialiste

Frédéric Mailhot

Professeur, Faculté de génie
FAC. GÉNIE Électrique et informatique

Présentation

Sujet de recherche

Circuits intégrés, Logiciels (outils)

Disciplines de recherche

Génie informatique et génie logiciel

Mots-clés

Authentication techniques, Computer hardware security, Logic synthesis, Physical synthesis, Spiking Neural Networks

Intérêts de recherche

Sécurité informatique Synthèse de circuits numériques Réalisation matérielle de réseaux de neurones à décharge

Langues parlées et écrites

Anglais, Français

Diplômes

(1991). Technology Mapping for VLSI Circuits Exploiting Boolean Properties and Operations (Doctorat, Ph.D.). Stanford University.

(1986). (Maîtrise avec mémoire, M.Sc.A.). Université de Sherbrooke.

(1984). (Equivalent à la maîtrise, D.E.A.). Institut national polytechnique de Grenoble.

(1983). (Baccalauréat, B.Ing.). École Polytechnique de Montréal.

Titres de compétence

Ing. École Polytechnique de Montréal.

Ph.D. Stanford University.

Prix et distinctions

  • Prix de l'enseignement facultaire. Université de Sherbrooke. (Prix / Récompense).
  • Prix du mérite Jacques Bazinet. Université de Sherbrooke. (Prix / Récompense).
  • Prix du mérite Jacques Bazinet. Université de Sherbrooke. (Prix / Récompense).
  • Prix du mérite Jacques Bazinet. Université de Sherbrooke. (Prix / Récompense).
  • Prix du mérite Jacques Bazinet. Université de Sherbrooke. (Prix / Récompense).

Publications

Articles de revue

  • Frederic Mailhot, Giovanni De Micheli. (1993). Algorithms for technology mapping based on binary decision diagrams and on Boolean operations. IEEE Transactions on CAD of Integrated Circuits and Systems 12 (5), 599-620. (Article publié).
  • Giovanni De Micheli, David Ku, Frederic Mailhot, Thomas Truong. (1990). The Olympus Synthesis System. IEEE Design and Test 7 (5), 37-53. (Article publié).

Articles de conférence

  • Guillaume Seguin-Godin, Frederic Mailhot, Jean Rouat. (2015). Efficient Event-driven Approach Using Synchrony Processing for Hardware Spiking Neural Networks. IEEE International Symposium on Circuits and Systems.
  • Louis-Charles Caron, Frédéric Mailhot Jean Rouat. (2011). FPGA Implementation of a spiking neural network for pattern matching. IEEE International Symposium on Circuits and Systems.
  • Normand Bédard, Alain Houle, Guy Lépine, Frédéric Mailhot. (2009). Description of the MedicIP Communication Platform with Emphasis on Data Security Issues. Proceedings of the Third International Symposium on Medical Information & Communication Technology.
  • Amir Hossein Rabbani, Frédéric Mailhot. (2007). Efficient Buffer Tree Creation Using Mixed Branch and Bound and Dynamic Programming Techniques. Proceedings of the International Symposium on Signals, Systems and Electronics.
  • Shankar Krishnamoorthy, Frederic Mailhot. (1994). Boolean matching of sequential elements. Proceedings of the 31st Design automation Conference.
  • Markus Robinson, Frederic Mailhot, Jim Konsevich. (1993). Technology Independent Boundary Scan Synthesis (Technology and Physical Issues). Proceedings of the IEEE International Test Conference.
  • David Filo, Jerry Chih-Yan Yang, Frederic Mailhot, Giovanni De Micheli. (1992). Technology Mapping for a two-output RAM-based field programmable gate array. Proceedings of the Conference on European Design Automation.
  • Frederic Mailhot Giovanni De Micheli. (1990). Technology Mapping using Boolean Matching and don’t care sets. Proceedings of the Conference on European Design Automation.
  • Frédéric Mailhot Giovanni De Micheli. (1988). Automatic layout and optimization of static CMOS cells. Proceedings of the IEEE International Conference on Computer Design: VLSI in Computers & Processors.

Propriétés intellectuelles

Brevets

  • (2002). Method and apparatus for estimating internal power consumption of an electronic circuit represented as netlist. 6,345,379. (Terminé).
  • Apparatus and method for re-using and tracking digital assets. 2000073893. (Retiré).
  • Method, system and aggregation engine for providing structural representations of physical entities. 20140114975. (Demande en cours).

Autres contributions

Cours enseignés

  • Introduction à l'investigation numérique. GIF773. (2015-10-27).Université de Sherbrooke. Canada.
  • Sécurité informatique et cryptographie. GIF630. (2015-07-13).Université de Sherbrooke. Canada.
  • Conception d'un système informatique distribué. GIF600. (2015-04-28).Université de Sherbrooke. Canada.
  • Sécurité des systèmes informatiques. GIF762. (2015-03-09).Université de Sherbrooke. Canada.
  • Techniques avancées de cryptographie. GEI 760. (2015-02-02).Université de Sherbrooke. Canada.
  • Projet d'intégration en sécurité informatique. GEI775. (2015-01-12).Université de Sherbrooke. Canada.
  • Concepts de cryptographie et de sécurité. GEI 774. (2014-09-08).Université de Sherbrooke. Canada.
  • Projet majeur en génie informatique I. GIF 701. (2012-01-04).Université de Sherbrooke. Canada.
  • Projet majeur en génie informatique II. GIF 801. (2011-08-30).Université de Sherbrooke. Canada.