Oma esittely
Olen toiminut tutkijana ja opettajana yli 25 vuotta. Urani alkuvaiheessa keskityin Formaaleihin menetelmiin ja ennen kaikkea automaattiteoreettiseen mallintarkastukseen. Vaihdoin tutkimusalaa vuoden 2018 paikkeilla. Työskentelen myös osa-aikaisesti teollisuudessa, tällä hetkellä Insta groupin palveluksesssa, ja tästä johtuen työaikani yliopistolla on vain 60%.
Olen fyysisesti hyvin aktiivinen.
Työtehtävät
Toimin osa-aikaisesti opettajana ja tutkijana Juho Kanniaisen tutkimusryhmässä. Opetan pääsääntöisesti sovelletun matematiikan opintojaksoja. Tutkijana keskityn verkostovaikutuksiin, etupäässä informaatiokaskadeihin.
Osaamisalueiden kuvaus
Läpitunkeva teema kaikessa tutkimuksessani on aina ollut erilaiset graafialgoritmit, graafipohjaiset mallit, kuten tilakoneet, Markovin mallit, päätösprosessit, jne. Tämän lisäksi olen tehnyt jonkin verran optimointimalleja ja implementoinut reittihakuja suurille graafeille. Opetan paljon ja laajalla kirjolla matematiikan, tietojenkäsittelytieteen, ohjelmistotekniikan, ja datatieteen rajamaille sijoittuvia aiheita.
Tieteenalat
Matematiikka, tietojenkäsittely, datatiede, tilastotiede, taloustiede.
Uusimmat julkaisut
Retaliation in Bitcoin networks
Lepomäki, L., Kanniainen, J. & Hansen, H., kesäk. 2021, julkaisussa: Economics Letters. 203, 5 Sivumäärä, 109822.Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
Progress Checking for Dummies
Valmari, A. & Hansen, H., 2018, Formal Methods for Industrial Critical Systems. Howar, F. & Barnat, J. (toim.). Springer International Publishing, Vuosikerta 11119. s. 115-130 (Lecture Notes in Computer Science).Tutkimustuotos: Konferenssiartikkeli › Scientific › vertaisarvioitu
Abstractions for transition systems with applications to stubborn sets
Hansen, H., 1 tammik. 2017, Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday. Gibson-Robinson, T., Hopcroft, P. & Lazić, R. (toim.). Springer International Publishing, s. 104-123 20 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 10160).Tutkimustuotos: Luku › Scientific
FiB: Squeezing loop invariants by interpolation between forward/backward predicate transformers
Lin, S-W., Sun, J., Xiao, H., Liu, Y., Sanán, D. & Hansen, H., lokak. 2017, Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering: ASE 2017. Rosu, G., Di Penta, M. & Nguyen, T. N. (toim.). IEEE Press, s. 793-803 11 Sivumäärä (IEEE/ACM International Conference on Automated Software Engineering).Tutkimustuotos: Konferenssiartikkeli › Scientific › vertaisarvioitu
Stubborn set intuition explained
Valmari, A. & Hansen, H., 2017, Transactions on Petri Nets and Other Models of Concurrency XII. Springer Verlag, s. 140-165 26 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 10470).Tutkimustuotos: Konferenssiartikkeli › Scientific › vertaisarvioitu
Safety Property-Driven Stubborn Sets
Hansen, H. & Valmari, A., syysk. 2016, Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings. Larsen, K., Potapov, I. & Srba, J. (toim.). Springer International Publishing, s. 90-103 14 Sivumäärä (Lecture notes in computer science; Vuosikerta 9899).Tutkimustuotos: Konferenssiartikkeli › Scientific › vertaisarvioitu
Stubborn Set Intuition Explained
Valmari, A. & Hansen, H., 2016, Petri Nets and Software Engineering 2016: Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, including the International Workshop on Biological Processes & Petri Nets 2016. Cabac, L., Kristensen, L. M. & Rölke, H. (toim.). CEUR-WS, s. 213-232 20 Sivumäärä (CEUR Workshop Proceedings; Vuosikerta 1591).Tutkimustuotos: Konferenssiartikkeli › Scientific › vertaisarvioitu
Practical Partial Order Reduction for CSP
Gibson-Robinson, T., Hansen, H., Roscoe, A. W. & Wang, X., 2015, Nasa Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings. Springer International Publishing, Vuosikerta 9058. s. 188-203 16 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 9058).Tutkimustuotos: Konferenssiartikkeli › Scientific › vertaisarvioitu
A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time
Julkaisun otsikon käännös :A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions
Julkaisun otsikon käännös :Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions Tutkimustuotos: Konferenssiartikkeli › Scientific › vertaisarvioitu