Meta tags:
description=We develop precise automated reasoning techniques: tools, algorithms and languages. The goal of these techniques to help construction of verified computer systems.;

Headings (most frequently used words):

lara, scientific, staff, support, academic, alumni, joining, and, epfl, ic, some, videos, in, the, same, section, 2016, 2012, 2009,

Text of the page (most frequently used words):
for (12), the (11), lara (9), and (9), viktor (8), epfl (6), about (6), kuncak (6), program (6), search (5), software (5), with (4), laboratories (3), mikael (3), mayer (3), verified (3), verification (3), romain (3), students (3), page (3), phd (3), start (2), all (2), funding (2), collaboration (2), teaching (2), publications (2), impro (2), news (2), back (2), scala (2), tools (2), tihomir (2), gvero (2), regis (2), blanc (2), leon (2), etienne (2), kneuss (2), synthesis (2), edelmann (2), andrew (2), reynolds (2), nicolas (2), voirol (2), programming (2), 2009 (2), from (2), this (2), information (2), positions (2), joining (2), see (2), group (2), kunčak (2), research (2), automated (2), reasoning (2), techniques (2), hide (2), form (2), site (2), last, modified, 2023, vkuncak, txt, trace, 2026, rights, reserved, legals, accessibility, login, same, section, cleaner, code, less, coding, verifying, synthesizing, recursive, functions, days, 2017, keynote, anycode, java, assistance, tool, demo, deep, learning, math, abstract, interpretation, basics, huge, threat, tiny, glitches, induction, smt, solvers, complete, linear, arithmetics, functional, emina, torlak, solver, aided, some, videos, 2012, 2016, exchanges, internships, promotional, video, master, september, somewhat, context, specific, slides, seminar, starting, postdoc, email, check, pdf, document, fellows, collaborating, ali, sinan, köksal, swen, jacobs, dissertation, award, patrick, denantes, ruzica, piskac, andrej, spielmann, pierre, emmanuel, cornilleau, filip, konecny, philippe, suter, hossein, hojjat, giuliano, losa, ivan, kuraj, eva, darulova, marco, antognini, ravichandhran, kandhadai, madhavan, manos, koukoutos, sarah, sallinger, nataliia, stulova, ruetschi, andreas, pavlogiannis, georg, schmid, jad, hamza, academic, alumni, secretary, sylvie, buchard, system, manager, fabien, salvi, support, also, automatically, generated, administrative, official, list, past, current, rodrigo, raya, simon, guilloud, dragana, milovancevic, sankalp, gambhir, mario, bucev, scientific, staff, led, develop, precise, algorithms, languages, goal, these, help, construction, computer, systems, example, stainless, project, click, here, simpler, version, github, helping, construct, that, does, what, expect, browse, menu, show, validate, campus, schools, innovation, education, skip, content, lab, analysis,

Text of the page (random words):
lara lab for automated reasoning and analysis about skip to content about education research innovation schools campus search on the site validate show hide the search form search on the site hide the search form en menu browse ic laboratories lara lara helping construct software that does what we expect click here for simpler version of this page on github lara is a research group led by viktor kunčak we develop precise automated reasoning techniques tools algorithms and languages the goal of these techniques is to help the construction of verified computer systems see for example the stainless project scientific staff viktor kunčak mario bucev sankalp gambhir dragana milovancevic simon guilloud rodrigo raya see also the official list of past and current phd students and automatically generated administrative page of the group support system manager fabien salvi secretary sylvie buchard academic alumni jad hamza romain edelmann georg s schmid andreas pavlogiannis romain ruetschi nataliia stulova nicolas voirol sarah sallinger manos koukoutos ravichandhran kandhadai madhavan marco antognini mikael mayer regis blanc etienne kneuss andrew j reynolds eva darulova tihomir gvero ivan kuraj giuliano losa hossein hojjat philippe suter filip konecny pierre emmanuel cornilleau andrej spielmann ruzica piskac patrick denantes dissertation award swen jacobs ali sinan köksal joining lara and epfl ic information on joining and collaborating with lara about ic for postdoc positions email viktor kuncak and check epfl fellows program pdf document phd positions and information about epfl slides from a seminar for starting phd students september 2009 somewhat context specific master s program promotional video from this page epfl internships exchanges for epfl students 2016 2012 2009 some videos solver aided programming for all by emina torlak verified functional programming by nicolas voirol complete program synthesis for linear arithmetics by mikael mayer induction for smt solvers by andrew reynolds the huge threat of tiny software glitches by viktor kuncak basics of program verification by viktor kuncak abstract interpretation for program verification by viktor kuncak deep learning for math by romain edelmann leon synthesis demo by etienne kneuss program verification with leon by regis blanc anycode java assistance tool by tihomir gvero scala days 2017 keynote tools for verified scala by viktor kuncak verifying and synthesizing software with recursive functions by viktor kuncak cleaner code with less coding by mikael mayer laboratories back laboratories lara back lara about news impro publications software teaching collaboration funding in the same section lara about news impro publications software teaching collaboration funding login accessibility legals 2026 epfl all rights reserved search trace start start txt last modified 2023 08 28 21 31 by vkuncak