CURRICULUM VITAE
Clifford M. C. Wolf
Pappenheimg. 49/31, A-1200 Wien
+43-699-10063494 (mobile)
http://www.clifford.at/
cliffordvienna@gmail.com

Career Objective

Working on challenging projects that allow me to expand my skill set, at fair compensation and with enough free time to pursue my Open Source projects and academic/scientific work.

Qualifications

I have extensive experience with the following languages and technologies:

• Verilog HDL, C/C++, Python, CUDA
• Linux/UNIX Command Line, Shell Scripting, GIT
• Xilinx 7-series FPGAs, Lattice iCE40 FPGAs
• Xilinx Vivado, Xilinx Vivado HLS
• SAT/SMT solving, Formal Verification

I'm also interested in, and have some experience with mathematical modelling, DSP alorithms, and machine learning. I'm excited whenever I find an excuse to spend time mastering a new mathematical method.

Professional Experience

• 2017- Co-Founder & CTO Symbiotic EDA
  Symbiotic provides Open Source EDA solutions for formal verification, synthesis and FPGA place-and-route.

• 2007-2017 Scientific Computing Engineer at RIEGL Laser Measurement Systems
  Riegl is a leading manufacturer or LIDAR range finders and 3D scanners.
  At Riegl I'm working on mathematical models, FPGA cores and GPGPU kernels, and troubleshoot embedded Linux systems.

• 2003-2006 Sen. Software Engineer at LINBIT
  LINBIT is an industry leader in high availability (HA) Linux solutions.
  I've been working on improving the Linux HA software stack as part of my work at LINBIT.
  Most notably, during my time at LINBIT I wrote the cluster file synchronization tool Csync2.

• 2001-2003 Lead developer / CTO at vocat.cc/dieStartseite.at
  vocat.cc was a web startup creating a microblogging/linksharing/intranet platform based on microservices (years before the term "microservices" was coined).

• 1999-2003 UNIX/Linux Trainer and Consultant
  Trainer at (among others) UNISYS, ETC, Global Knowledge (Austria and Switzerland), NTx
  Freelance consultant and troubleshooter for all things Linux.

• 1996-1998 Sysop at magnet, an Austrian ISP
  At magnet I was in charge of building and maintaining the entire UNIX/Linux server infrastructure and the back-end databases.

Teaching

• I taught a 2-year electronics course at metalab.at in 2010/2011 and 2012/2013.
• Since 2011 I'm teaching electronics at University of Applied Arts Vienna, Department of Digital Arts.

Publications

I have authored or co-authored the following scientific papers and book chapters:

• Malicious LUT: A Stealthy FPGA Trojan Injected and Triggered by the Design Flow. Christian Krieg, Clifford Wolf, Axel Jantsch. 2016 International Conference On Computer Aided Design (ICCAD)

• Online waveform processing for demanding target situations Martin Pfennigbauer, Clifford Wolf, Josef Weinkopf, Andreas Ullrich Proc. SPIE 9080, Laser Radar Technology and Applications XIX; and Atmospheric Propagation XI, 90800J (June 9, 2014); doi:10.1117/12.2052994.

• Methodology and Example-Driven Interconnect Synthesis for Designing Heterogeneous Coarse-Grain Reconfigurable Architectures. Johann Glaser and Clifford Wolf. In Jan Haase, editor, Models, Methods, and Tools for Complex Chip Design. Lecture Notes in Electrical Engineering. Volume 265, 2014, pp 201-221. Springer, 2013.

• Enhancing online waveform processing by adding new point attributes. Martin Pfennigbauer, Clifford Wolf, Andreas Ullrich Proc. SPIE 8731, Laser Radar Technology and Applications XVIII, 873104 (May 20, 2013) doi:10.1117/12.2015733.

• Yosys - A Free Verilog Synthesis Suite. Clifford Wolf, Johann Glaser. In Proceedings of Austrochip 2013.

• Example-Driven Interconnect Synthesis for Heterogeneous Coarse-Grain Reconfigurable Logic. Clifford Wolf, Johann Glaser, Florian Schupfer, Jan Haase, Christoph Grimm 2012 Forum on Specification and Design Languages (FDL)

• Cluster synchronization with csync2, Clifford Wolf. Linux-Kongress 2005. (ISBN 3-86541-119-3, page 27-36)

• Linux Magazin Technical Review 04: High availability - Csync2, Clifford Wolf. (ISBN 978-3-939551-06-5, page 56-63)

I also wrote a (german) electronics textbook for the course I taught at metalab.at.

Open Source Projects

Over the last two decades I have contributed to many Free and Open Source (FOSS) projects, including the Linux Kernel and other parts of the GNU/Linux system. I have also authored a few FOSS projects, such as:

• Yosys
  A framework for Verilog synthesis and formal verification. Yosys is used as synthesis front-end in many FOSS HDL implementation flows, such as Qflow (ASICs) and the IceStorm flow (iCE40 FPGAs).

• Project IceStorm
  A complete FOSS end-to-end verilog synthesis flow for iCE40 FPGAs and a (reverse engineered) documentation for the iCE40 bit-stream format.

• OpenSCAD
  OpenSCAD is a software for creating solid 3D CAD models. OpenSCAD is not an interactive modeller. Instead it is something like a 3D-compiler that reads in a script file that describes the object and renders the 3D model from this script file. In 2010 I passed maintainership of OpenSCAD to Marius Kintel.

Other FOSS projects that I have authored include PicoRV32, SimpleVOut, Lib(X)SVF, EmbedVM, STFL, SPL, Csync2, and Trapdoor2.

Hobbies and other Interests

I've been the public relations officer for the Vienna branch of Chaos Computer Club (CCC) in 2003-2005.

Moderator and producer of "Nerds on Air" (a radio show on Radio Orange, a community radio station in Vienna) in 2004-2007.

Program chair for Linuxwochen Wien, a local FOSS/Linux conference, in 2004-2007.

I'm a founding member of metalab.at, a hackerspace in Vienna.

Member of Linux User Group Austria (luga.at), Mensa Austria (mensa.at), and Attac Austria (attac.at).

I'm a ham radio operator. My callsign is OE1CXW.

I play Go/Weiqi/Baduk online.