Jussi Rintanen
Jussi Rintanen
Associate Professor, Aalto University
Joined
July 2019
Names
Emails
****@gmail.com (Confirmed)
****@aalto.fi (Confirmed)
Personal Links
Career & Education History
Associate Professor
Aalto University (aalto.fi)
2018 – Present
Advisors, Relations & Conflicts
Expertise
software synthesis
2016 – Present
automated planning
, decision-making
1997 – Present
automated reasoning
, propositional logic
, satisfiability
1992 – Present
Publications
Co-Authors
- Adi Botea
- Alban Grastien
- Alexander Nareyek
- Anbulagan
- Austin Tate
- Binda Pandey
- Charles Orgill Gretton
- Debdeep Banerjee
- Elena Kelareva
- Enrico Giunchiglia
- Eugene C. Freuder
- Hartmut Jungholt
- Henrik J. Nyman
- Henry A. Kautz
- Ilkka Niemelä
- Johan Pensar
- Jukka Corander
- Jörg Hoffmann
- Keijo Heljanko
- Langford B. White
- Markus Büttner
- Martin Gebser
- Martin Wehrle
- Masood Feyzbakhsh Rankooh
- Mojtaba Elahi