Project members from Lausanne and Novi Sad are engaged in research related to High-Productivity Large-Scale Computing.
Viktor Kuncak leads the research group LARA (Lab for Automated Reasoning and Analysis) which conducts research in the area of Programming Languages and Formal Methods at the IC School of EPFL. With his group and collaborators, he develops algorithms and software tools for constructing reliable systems. He works in the broad area of programming languages and formal methods. His recent topics of work include software synthesis and software verification. Some of his interests are embodied in the proposal for implicit programming.
Over the last 10 years, Martin worked on unifying object-oriented and functional programming in the Scala language. Scala quickly escaped from the research lab and became a popular open source tool and industrial language. He now oversees development of Scala as head of the programming group at EPFL and as chairman of the Typesafe company.
His research interests are related to parallel programming and computing, highperformance computing, scientific computing, fuzzy databases
His current research interests are in coalgebraic models of computing processes, clone theory and endomorphisms of finite structures.
Get the latest news about project events
The first project meeting.
The kick off meeting was held at the end of project with the purpose of introducing project activities to all project participants and potential project participants.
Phd students from Novi Sad visited the summer school in Lausanne, Switzerland
Lidija Fodor and Zeljko Bajic visited EPFL and attended Summer School on DSL Design and Implementation.
The program of the workshop is available at Workshop - program
The program of the meeting is available at Meeting - program
The videos of the meeting are available at Meeting - videos
Get in touch with us
Copyright © 2015 SCOPES. All Rights Reserved.
