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# ...

I was 5 or 6 when I got my first sense of the joys of computer programming. This was in the early 1980s, when few people had a computer. One day, my dad brought home a Sinclair ZX Spectrum, one of ...