Examples of projects funded under this program include OPX Biotechnologies’ biodiesel effort led by Michael Lynch[4] and Derek Lovley’s work on microbial electrosynthesis at the University of Massachusetts Amherst,[5] which reportedly produced the first liquid electrofuel using CO2 as the feedstock. Descriptions of all ARPA-E Electrofuels Program research projects can be found at the ARPA-E Electrofuels Program website.[citation needed]