- NeurIPS 2021
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 area of 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.
Since 2020 I am working on AI in particular for Source Code development and program design.
Current and Prior Positions
IBM T. J. Watson Research Center
Research Staff Member
1999 - Present
Research in Design Automation, Hardware Design & Verification.
- 05 Dec 2022
- 23 May 2022
- 09 May 2022
- 28 Oct 2019
- 29 May 2017
Optimizing A Netlist Circuit Representation By Leveragng Binary Decision Diagrams To Perform Rewriting
- 05 Aug 2014
- 28 Jan 2014
- 09 Apr 2013
- 12 Jun 2012
- 01 May 2012