Search results
Mar 5, 2018 · Associate professor of computer science at KTH Royal Institute of Technology in the Theoretical Computer Science Group. PhD EPFL, 2010. My main research interests are in the design and implementation of programming languages, type systems, concurrency, and distributed programming.
Philipp Haller. Coordination Models and Languages: 9th International Conference …. ECOOP 2010–Object-Oriented Programming: 24th European Conference, Maribor …. Proceedings of the 2nd edition on...
Philipp Haller is an associate professor in the School of Electrical Engineering and Computer Science (EECS) at KTH Royal Institute of Technology in Stockholm, Sweden. He is Digital Futures Faculty and affiliated with WASP.
Philipp Haller. hallerp@gmail.com. http://www.csc.kth.se/~phaller/ Interests. Programming languages, type systems, concurrent and distributed programming. Professional Experience. KTH Royal Institute of Technology, Sweden. School of Electrical Engineering and Computer Science. Assistant professor (tenure track) 2014Ѳpresent. Degrees & Education.
Philipp HALLER, Professor (Associate) | Cited by 1,108 | of KTH Royal Institute of Technology, Stockholm (KTH) | Read 51 publications | Contact Philipp HALLER.
Post-doctoral researcher Research assistant. 2011-2012 2006-2010. Education. EPFL, Switzerland. Doctor of Science in Computer Science Advisor: Martin Odersky. 2006-2010. Thesis title: “Isolated Actors for Race-free Concurrent Programming”
Jun 15, 2024 · Philipp Haller. Publikationer av Philipp Haller. Refereegranskade. Artiklar. [1] J. K. Larsen et al., "P4R-Type : A Verified API for P4 Control Plane Programs," Proceedings of the ACM on Programming Languages, vol. 7, no. OOPSLA2, 2023. [2]
