Geert Janssen  Geert Janssen photo       

contact information

Formal Methods, Software Design, Deep Learning
Thomas J. Watson Research Center, Yorktown Heights, NY USA
  +1dash914dash945dash2198

links

Professional Associations

Professional Associations:  IEEE

more information

More information:  My LinkedIn Page

profile


My professional background comprises a mix of academic work and work in industry. I spent 15 years as an assistant professor of Electrical Engineering at Eindhoven University. I am very interested in analyzing problems pertaining to logic design, applying theory to form a solution and implementing the solution in a practical tool. I finished my master's at Philips Research and worked for Philips Telecommunications. After obtaining a Ph.D. in 1999, I emigrated from the Netherlands to the United States and started work at IBM Research in the Design Automation department. I am very accomplished in programming in many languages and deploying advanced data structures. On the other hand, I have some design experience in VHDL, Verilog and Bluespec and enjoy finding small hardware realizations of useful functional blocks. I own many embedded Linux gadgets and love tinkering with them.

Recently I have gotten involved in developing functional tests for speculative execution and transactional memory as offered by the new BlueGene/Q system.

Since 2010 my interest has shifted to the design and control of FPGA based emulation systems. Recently I got involved in the Smarter Energy Research Institute and am working in the are Asset Management.

Currently I am deeply involved in Deep Learning...