Sudhir Agarwal

Logic Group, Computer Science Department, Stanford University

I hold Master's in Computer Science from University of Dortmund in Germany, a PhD in Computer Science from University of Karlsruhe in Germany, and PostDoc (Habilitation) in Applied Informatics from Karlsruhe Institute of Technology in Germany.

My research interests lie in the areas of Distributed Information Systems, Process Algebras, Dynamic Logics, Temporal Logics, Relational Logics, Description Logics, Databases, Data Integration, Workflows, Business Processes, Declarative Workflows, Computational Law, and Engineering, Management and Usage of (Web-based) Services, and some other related fields.

In University of Karlsruhe and KIT, I have been involved in 5 research projects funded by German Ministry of Education and Research or European Union. In most of them, I had the lead for one or more core research work packages.

I have 45 publications in international workshops, conferences, and journals. I have been actively serving the scientific community as a PC member or reviewer since 2003.