Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Transaction processing is a fundamental aspect of database design, and concurrency control has remained a key challenge in high performance transaction management. Optimistic concurrency control (OCC) has regained popularity in a number of recent data…
How can two strangers figure out how many phone contacts they have in common without revealing anything else about each other? Can this be done even in the absence of trusted third parties? How about…
If you are like other professionals, your biggest worry is becoming obsolete at work. Shifting technologies, fierce competition among corporations, and recruitment occurring on a global level would give anyone concern. To remain relevant in…
Bio Model Analyzer is a new biological modelling tool that illustrates signalling pathways and determines cellular stabilization. The tool represents a merging of perspectives from systems biology, formal methods, human computer interaction and design. At…
Bio Model Analyzer is a new biological modelling tool that illustrates signalling pathways and determines cellular stabilization. The tool represents a merging of perspectives from systems biology, formal methods, human computer interaction and design. At…
