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
Johannes Kinder
English
Français
Johannes Kinder
Contact
Biography & current work
Main publications
Print
Share
Contact
Postdoctoral Researcher
Dependable Systems Laboratory
Phone
[+41 21 69] 36672
Postal address
EPFL IC IIF DSLAB
INN 328 (Bâtiment INN)
Station 14
CH-1015 Lausanne
Office
INN328
In unit
EPFL
IC
IIF
DSLAB
Dependable Systems Laboratory
DSLAB
All postal addresses and positions
Johannes Kinder
Dr. rer. nat.
Fields of Expertise
Static Analysis, Model Checking, Formal Methods, Malware Detection
