Mathias Hedenborg

Universitetslektor

Institutionen för datavetenskap och medieteknik Fakulteten för teknik

mathias.hedenborg@lnu.se

0470-70 86 38

076-760 36 65

3020, Hus B, Växjö

Spara kontaktuppgifter Ladda ner bild

Jag är numera deltidsarbetande pensionär.

Undervisning

Undervisning

Min delaktighet i undervisningsområdet begränsar sig till

kursadministration av examensarbeten på kandidatnivå,
speciella intresseområden är nätverk, operativsystem och nätverksbaserat lärande.

Forskning

Forskning

Min forskning är inriktad mot programanalys.

Uppdrag

Uppdrag

Utbildningssamordnare inom datavetenskap
Kontaktperson för lärarutbildning inom datavetenskap

Mina forskargrupper

Data Intensive Software Technologies and Applications (DISTA) Forskargruppen Data Intensive Software Technologies and Applications studerar datastyrda metoder, såsom maskininlärning, artificiell…

Publikationer

Artikel i tidskrift (Refereegranskat)

Hedenborg, M., Lundberg, J., Löwe, W., Trapp, M. (2022). A Framework for Memory Efficient Context-Sensitive Program Analysis. Theory of Computing Systems. 66. 911-956.
Status: Publicerad
Hedenborg, M., Lundberg, J., Löwe, W. (2021). Memory efficient context-sensitive program analysis. Journal of Systems and Software. 177.
Status: Publicerad

Konferensbidrag (Refereegranskat)

Trapp, M., Hedenborg, M., Lundberg, J., Löwe, W. (2015). Capturing and Manipulating Context-sensitive Program Information. Software Engineering Workshops 2015 : Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, 17.-18. März 2015. 154-163.

Kapitel i bok, del av antologi (Refereegranskat)

Lundberg, J., Hedenborg, M., Löwe, W. (2012). SSA-Based Simulated Execution. Patterns, Programming and Everything. London, Springer. 75-90.

Konferensbidrag (Övrigt vetenskapligt)

Hedenborg, M., Lundberg, J., Löwe, W., Trapp, M. (2015). Approximating Context-Sensitive Program Information. Proceedings Kolloquium Programmiersprachen (KPS 2015).