 |
| Jan Madsen Vicedirektør, sektionsleder |
|
|
DTU Compute
Institut for Matematik og Computer Science
Danmarks Tekniske Universitet
Matematiktorvet
Bygning 324, rum 120
2800 Kgs. Lyngby
|
|
|
Indlejrede systemer. Eksekveringsplatforme. Jan Madsen (JM) forsker i intelligente og computerstyrede
mekaniske apparater (indlejrede systemer). JM har fokus på metoder
og værktøjer til system modellering og analyse af
applikationsafvikling på multi-core eksekveringsplatforme, herunder
hardware/software codesign. JM har bl.a. deltaget i udviklingen af
et trådløst sensornetværk til monitorering af grise. Jan Madsen er ekspert indenfor design af indlejrede systemer, med specielt fokus på metoder og værktøjer til system modellering og analyse af applikationsafvikling på multi-core eksekveringsplatforme, herunder hardware/software codesign. Jan Madsen er professor i computer-baserede systemer ved DTU Informatik, hvor han leder sektionen for Embedded Systems Engineering. Han er uddannet civilingeniør på DTU (1986) og har en ph.d. i datalogi fra DTU (1992); under sit ph.d studium opholdt han sig i en periode som forsker ved IMEC i Belgien. Jan Madsen er editor på 1 bog og 3 proceedings, medforfatter på 7 bogkapitler og mere end 70 videnskabelige artikler. Jan Madsen var bevillingshaver og koordinator for forskningsprojektet ”Hogthrob” (NABIIT) hvor han sammen med forskere fra DIKU og KVL opbyggede et trådløst sensornetværk til monitorering af grise. Han er med i forskningsprojekterne MoDES (NABIIT) og DaNES (Højteknologifonden) der begge omhandler model-baseret udvikling af indlejrede systemer. I DaNES er han leder af aktiviteten for eksekveringsplatforme og formand for projektets styrregruppe. I EU regi sidder han som ”lead delegate” for Danmark i Governing Board for det nye store forskningsprogram inden for indlejrede systemer, ARTEMIS. Han er cluster leder og medlem af den strategiske styrregruppe for ArtistDesign og ARTIST2, der begge er EU Network-of-Excellence indenfor design af indlejrede systemer. Han har tidligere været med i flere andre EU- og nationale forskningsprojekter. Jan Madsen er medlem af det svenske forskningsråd, hvor han sidder som medlem af pannelet for Computer Science. Han er medlem af bestyrelsen for forskerskolen ITMAN ved DTU Informatik, bestyrelsen for IEEE Danmark og er dansk repræsentant for IFIP WG10. Han er medlem af redaktionskomiteen for tidsskriftet IET CDT. Han var Program Chair for konferencen DATE i 2007 og CODES i 2000, og var General Chair for CODES 2001. Han er programkommitteemedlem af en række af de førende konferencer inden for området. Han var i perioden 2000-2007 studieleder for masterprogrammet Computer Science and Engineering. Han har været medlem af adskillige bedømmelsesudvalg for adjunkt og lektor stillinger i Danmark. Han har gennemført rektorkollegiets forskningsleder uddannelse og har fulgt flere kurser om vejledning af PhD studerende og adjunkter. |
|
|
|
|
|
Year |
|
part of: Proceedings of the 18th Asia and South Pacific Design Automation Conference (ASP-DAC) 2013, 2013,
Type:
Article in proceedings - Article in proceedings
Presented at:
18th Asia and South Pacific Design Automation Conference (ASP-DAC 2013), Yokohama
|
2013 |
|
part of: Proceedings of the 18th Asia and South Pacific Design Automation Conference (ASP-DAC) (ISBN: 9781467330299), pages: 794-800, 2013,
Type:
Article in proceedings - Article in proceedings
Presented at:
18th Asia and South Pacific Design Automation Conference (ASP-DAC 2013), Yokohama
|
2013 |
|
part of: DATE '12:Proceedings of the Conference on Design, Automation and Test in Europe (ISBN: 9781457721458), pages: 935-940, 2012, Association for Computing Machinery,
Type:
Conference abstract in proceedings - Conference abstract in proceedings
Presented at:
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE), Dresden
|
2012 |
|
Type:
Paper - Paper
Presented at:
Embedded World 2012, Nuremberg
|
2012 |
|
part of: 2012 Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS (DTIP) (ISBN: 978-1-4673-0785-7), pages: 37-41, 2012, IEEE,
Type:
Article in proceedings - Article in proceedings
Presented at:
2012 Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS (DTIP), Cannes Côte d'Azur
|
2012 |
|
part of: 2012 Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS (DTIP) (ISBN: 978-1-4673-0785-7), pages: 53-58, 2012, IEEE,
Type:
Article in proceedings - Article in proceedings
Presented at:
2012 Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS (DTIP), Cannes Côte d'Azur
|
2012 |
|
part of: 2012 Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS (DTIP) (ISBN: 978-1-4673-0785-7), pages: 47-52, 2012, IEEE,
Type:
Article in proceedings - Article in proceedings
Presented at:
2012 Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS (DTIP), Cannes Côte d'Azur
|
2012 |
|
part of: 9th European Conference on Wireless Sensor Networks, EWSN 2012, pages: 84-85, 2012,
Type:
Conference abstract in proceedings - Conference abstract in proceedings
Presented at:
9th European Conference on Wireless Sensor Networks (EWSN 2012), University of Trento
|
2012 |
|
part of: CASES '12 (ISBN: 978-1-4503-1424-4), pages: 181-190, 2012, Association for Computing Machinery,
Type:
Article in proceedings - Article in proceedings
Presented at:
International conference on Compilers, architectures and synthesis for embedded systems (CASES 2012), Tampere
|
2012 |
|
in journal: Design Automation for Embedded Systems (ISSN: 0929-5585) (DOI: http://dx.doi.org/10.1007/s10617-012-9083-0), vol: 16, issue: 1, pages: 19-44, 2012
Type:
Journal article - Journal article
|
2012 |
|
Type:
Ph.d. thesis - Ph.d. thesis
|
2012 |
|
Type:
Ph.d. thesis - Ph.d. thesis
|
2012 |
|
part of: 2012 NORCHIP (ISBN: 978-1-4673-2221-8), 2012, IEEE,
Type:
Article in proceedings - Article in proceedings
Presented at:
30th NORCHIP conference, Copenhagen
|
2012 |
|
part of: 2012 NORCHIP (ISBN: 978-1-4673-2221-8), 2012, IEEE,
Type:
Conference abstract in proceedings - Conference abstract in proceedings
Presented at:
30th NORCHIP conference, Copenhagen
|
2012 |
Jozwiak, L. ; Lindwer, M. ; Corvino, R. ; Meloni, P. ; Micconi, Laura ; Madsen, Jan ; Diken, E. ; Gangadharan, Deepak ; Jordans, R. ; Pomata, S. ; Pop, Paul ; Tuveri, G. ; Raffo, L.
part of: 2012 15th Euromicro Conference on Digital System Design (DSD) (ISBN: 978-1-4673-2498-4), pages: 216-225, 2012, IEEE,
Type:
Article in proceedings - Article in proceedings
Presented at:
15th Euromicro Conference on Digital System Design (DSD 2012), Cesme, Izmir
|
2012 |
Wang, Zheng ; Pu, Geguang ; Li, Jianwen ; He, Jifeng ; Qin, Shengchao ; Larsen, Kim G. ; Madsen, Jan ; Gu, Bin
part of: Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, pages: 135-149, 2012,
Type:
Article in proceedings - Article in proceedings
Presented at:
First International Workshop of Formal Techniques for Safety-Critical Systems (FTSCS 2012), Kyoto
|
2012 |
|
part of: Proceedings of IEEE Aerospace Conference (ISBN: 978-1-4244-7350-2), 2011, IEEE,
Type:
Article in proceedings - Article in proceedings
Presented at:
2011 IEEE Aerospace Conference, Big Sky, MT
|
2011 |
|
part of: Proceedings of the IEEE Aerospace Conference 2011 (ISBN: 978-1-4244-7350-2), 2011, IEEE,
Type:
Article in proceedings - Article in proceedings
Presented at:
2011 IEEE Aerospace Conference, Big Sky, MT
|
2011 |
|
Type:
Ph.d. thesis - Ph.d. thesis
|
2011 |
|
part of: 16th Asia and South Pacific Design Automation Conference (ASP-DAC) (ISBN: 978-1-4244-7516-2), 2010, IEEE,
Type:
Article in proceedings - Article in proceedings
Presented at:
16th Asia and South Pacific Design Automation Conference (ASP-DAC)
|
2011 |
1
2
3
4
5
6
7
8
9
10
Næste
|
|