Associated Faculty. Yuanfang Cai: Formal software design modeling and analysis, software economics, software evolution and modularity. Preetha Chatterjee: Software engineering, machine learning and ...

If I were to categorize programming languages like art movements, there would be mid-century utilitarianism (Fortran, COBOL), high-theory formalism (Haskell, Agda), Americorporate pragmatism (C# ...

“Programming will be obsolete,” Matt Welsh, a former engineer at Google and Apple, predicted recently. Welsh now runs an A.I. start-up, but his prediction, while perhaps self-serving, doesn ...