Converting Laws to Programs

Sometimes the intricacies of tax laws are mind-boggling, even to lawyers. Sarah Lawsky, a law professor at Northwestern University School of Law and Jonathan Protzenko, a principal researcher at Microsoft Research, were working to translate Section 121 of the U.S. Tax Code, which stipulates how much a taxpayer can deduct from their income taxes from the profit of the sale of a home, into programmable code.

They found themselves stumped, because while the law stipulates a profit on the first $250,000 of a home sale is not to be taxed, "there's like nine layers of exceptions," including whether a person served in the military or is married, or if a spouse is deceased, Protzenko says.