Luca Andrea Cardelli is an Italian computer scientist who is a research professor at the University of Oxford, UK. Cardelli is well known for his research in type theory and operational semantics. Amo
DNA computing is an emerging branch of unconventional computing which uses DNA, biochemistry, and molecular biology hardware, instead of the traditional electronic computing. Research and development
Luca Cardelli
…of Objects Awards Dahl–Nygaard Prize (2007) ACM Fellow (2005) Scientific career Fields Theory of programming languages Process algebra Systems biology Molecular Programming Workplaces Bell Labs Microsoft Research Digital Equipment Corporation University of Edinburgh University of Oxford Thesis An algebraic approach to…
DNA arrays that display a representation of the Sierpinski gasket on their surfaces. Click the image for further details. Image from Rothemund et al., 2004.