Accessibility
Homepage
Navigation within EPFL sites
Navigation within this site
Jump to search field
Jump to page content
Technical contact
You are
Prospective students portal
EPFL Virtual tour
Exchange student
Students portal
Student services
Academic calendar
Researchers portal
Research funding
Doctorate at EPFL
Staff portal
Human resources
Help
Business portal
Innovation & Tech Transfer
Innovation Square
Mediacorner
Press releases
,
Reflex
,
Flash
Image library
Teaching portal
Courses management
Students management
Alumni Portal
Become a member
A3 agenda
By
school
Architecture, Civil and Environmental Engineering
ENAC
Architecture
Civil Engineering
Environmental Engineering
Urban Planning
Basic Sciences
SB
Chemistry
Mathematics
Physics
Engineering
STI
Electrical Engineering
Mechanical Engineering
Materials Science and Engineering
Microengineering
Bioengineering
Computer & Communication Sciences
I&C
Computer Science
Communication Systems
Life Sciences
SV
Bioengineering
Neuroscience Brain Mind & Blue Brain
Global Health
Cancer
Management of Technology
CDM
Management of Technology
Financial Engineering
College of Humanities
CDH
Human and Social Science
Area & Cultural Studies
Center for Social Ontology
about
EPFL
EPFL
Direction
EPFL Structure
General information
Library
Job offers
Education
Preparatory course
CMS
Bachelor
Master
PhD
Continuing education
(EPFL-UNIL Foundation)
Research
Transdisciplinary Centers
Grants office
Research Commission
EPFL
Publications
Innovation & Tech Transfer
Partnerships
Start-up
Industrial liaison
Technology transfer, patents
International portal
International Relations
EPFL Middle East
Cooperation
Person
Place
EPFL
Web
On this site
Search
EPFL
People@EPFL
Tihomir Gvero
English
Français
Tihomir Gvero
Contact
Biography & current work
Main publications
Print
Share
Contact
Doctoral Assistant
Laboratory for Automated Reasoning and Analysis
Phone
[+41 21 69] 31242
Postal address
EPFL IC IIF LARA
BC 355 (Bâtiment BC)
Station 14
CH-1015 Lausanne
Office
BC355
In unit
EPFL
IC
IIF
LARA
Laboratory for Automated Reasoning and Analysis
LARA
Student
Doctoral Program in Computer, Communication and Information Sciences
In unit
EPFL
ETU
EDOC
EDIC
Doctoral Program in Computer, Communication and Information Sciences
EDIC
All postal addresses and positions
Tihomir Gvero
PhD Student
