Luca Cardelli az Oxfordi Egyetem kutatóprofesszora (Royal Society Research Professorship), fő kutatási területe a programozási nyelvek, párhuzamos programozás, típuselmélet, műveleti szemantika és a nanotechnológia (Biológiai rendszerek, molekuláris programozás, molekuláris szemantika)….
Bővebben...