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...

Designing advanced algorithms and developing high-quality software for Design Automation tools. Recently involved in Machine & Deep Learning software and hardware. Top-notch programmer. Likes to tinker with electronic gadgets in spare time. Specialties: Expertise in practical implementation and application of formal verification of hardware designs. System admin level of Linux expertise. Hands-on experience with dozens of programming languages. Proficient in graphics and desktop publishing tools. Building up experience in XML related technologies, such as XSLT, XPath, XQuery, and XForms. Hands-on with many Deep Learning tools Caffe, Torch, Tensorflow. Currently working on performance analysis and improvement of the Watson WDA Ingestion pipeline. You have a problem, we fix it.

Current and Prior Positions

IBM T. J. Watson Research Center
Research Staff Member
1999 - Present
Research in Design Automation, Hardware Design & Verification.