Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
home-page [2018/04/16 06:30]
alex
home-page [2019/05/14 13:49] (current)
alex
Line 1: Line 1:
 {{images:​alex.jpg }}Welcome to my home page. As an academic on paper, I go by the alias [[https://​scholar.google.ch/​citations?​user=q1bbqYEAAAAJ&​hl=en|Alexander J. Summers]], but in other capacities you can call me Alex. {{images:​alex.jpg }}Welcome to my home page. As an academic on paper, I go by the alias [[https://​scholar.google.ch/​citations?​user=q1bbqYEAAAAJ&​hl=en|Alexander J. Summers]], but in other capacities you can call me Alex.
  
-I am working at [[https://​www.ethz.ch/​en.html|ETH Zürich]] as a senior researcher (Deutsch: Oberassistent),​ in the [[http://​www.pm.inf.ethz.ch/​|Chair of Programming Methodology group]] run by Peter Müller. I work in the general area of program correctness,​ including developing new specification and verification logics and type systems, and developing automated tools for constructing proofs about heap-based and concurrent programs, usually building on SMT solvers. I co-ordinate the [[http://​www.pm.inf.ethz.ch/​research/​viper.html|Viper Project]], in which we develop a new intermediate verification language and tool suite designed to ease the construction of new verification tools for modern reasoning techniques.+I am working at [[https://​www.ethz.ch/​en.html|ETH Zürich]] as a senior researcher (Deutsch: Oberassistent ​II), in the [[http://​www.pm.inf.ethz.ch/​|Chair of Programming Methodology group]] run by Peter Müller. I work in the general area of program correctness,​ including developing new specification and verification logics and type systems, and developing automated tools for constructing proofs about heap-based and concurrent programs, usually building on SMT solvers. I co-ordinate the [[http://​www.pm.inf.ethz.ch/​research/​viper.html|Viper Project]], in which we develop a new intermediate verification language and tool suite designed to ease the construction of new verification tools for modern reasoning techniques.
  
 I work mainly in the area of software verification for concurrent and object-oriented programs, and I'm delighted to have been recently awarded the [[http://​www.aito.org/​Dahl-Nygaard/​2015.html|2015 Dahl-Nygaard Junior Prize]] for my work in this area. This was awarded at [[http://​2015.ecoop.org/​|ECOOP 2015]]. More information about my research can be found [[research|here]]. I work mainly in the area of software verification for concurrent and object-oriented programs, and I'm delighted to have been recently awarded the [[http://​www.aito.org/​Dahl-Nygaard/​2015.html|2015 Dahl-Nygaard Junior Prize]] for my work in this area. This was awarded at [[http://​2015.ecoop.org/​|ECOOP 2015]]. More information about my research can be found [[research|here]].
  
-am the Program Chair for [[https://​conf.researchr.org/​home/​FTfJP-2018/​|FTfJP 2018]], a PL workshop attached to ECOOPwhich aims to provide feedback on ongoing and proposed research directions - please submit your excellent papers! ​I am also on the Program Committees for [[http://​staticanalysis.org/​sas2018/​|SAS 2018]] and [[http://​aplas2018.org/​|APLAS 2018]].+was the Program Chair this year for [[https://​conf.researchr.org/​home/​FTfJP-2018/​|FTfJP 2018]], a PL workshop attached to ECOOP which is special ​to me since I got I am also on the Program Committees for [[http://​staticanalysis.org/​sas2018/​|SAS 2018]] and [[http://​aplas2018.org/​|APLAS 2018]].
  
 Some personal (but not too personal) things can be found [[personal|here]],​ and if you need to contact me (feel free), my email address is alexander dot summers at inf dot ethz dot ch Some personal (but not too personal) things can be found [[personal|here]],​ and if you need to contact me (feel free), my email address is alexander dot summers at inf dot ethz dot ch
 +
 +Here is a [[tutorial|link to some exercises]] for a tutorial right now (either you know what this means, or you probably don't need it...)