Dr Julian Rathke

Research

I am a member of the Dependable Systems and Software Engineering research group. I study the semantics of programming languages. Specifically, I am interested in operational theories, type systems and models for concurrent, distributed languages.

• Publications
• Recent Talks (coming soon)
• Events:
  • ESOP 2010 European Symposium on Programming (PC Member)
  • WGT 2010 Workshop on Generative Technologies (Paper)
  • CONCUR 2009 Concurrency Theory (PC Member)
  • HOTSWUP 2009 Hot Topics in Software Upgrades (Paper)
  • IFIP TCS 2008 IFIP Theoretical Computer Science (Paper)
  • CONCUR 2008 Concurrency Theory (Paper)
  • ICE 2008 Interaction and Concurrency Experience (PC Member and Paper)
  • FOOL 2008 Foundations of Object-Oriented Languages (PC Member)
  • FOCLASA 2007 Foundations of Coordination Languages and Software Architectures (PC Member)
  • Express 2007 Expressiveness in Concurrency (PC Member)
  • FoSSaCS 2007 Foundations of Software Science and Computation Structures (Paper)
  • OOPS 2007 Special Track at Applied Computing (PC Member)
• Recent research projects:
  • Third party resource usage for pervasive computing EPSRC
  • Applied Semantics II (APPSEM II) EU IST thematic network
  • Mikado: Mobile Calculi based on Domains EU IST FET Global Computing
  • Myths: Models and Types for Security in Mobile Distributed Systems EU IST FET Global Computing
  • A Semantic Study of Behavioural Properties for Systems of Distributed Objects Nuffield Foundation
  • Language Techniques for Implementing Policies in Programmable Networks EPSRC

Teaching

I am a senior lecturer in Computer Science in the School of Electronics and Computer Science

Current Courses

• COMP1007: Part I Discrete Mathematics
• COMP1003: Part I Advanced Programming
• COMP6034: Part IV Types and Programming Languages
• COMP6034: Part IV From Aspect-Oriented Programming to Program Generation
• COMP3020: Part III Individual Project

Past Courses

• Mini-course on Introduction to Semantics
• Internet Technologies (University of Susssex)
• Introduction to Operating Systems (University of Sussex)