Welcome to Bent Thomsen’s home page.
Bent Thomsen is an Associate
Professor in the department of computer science at
Bent has more than 10 years of
industrial research and research management experience.
Before joining Aalborg University,
he was one of ICL’s (now Fujitsu Services) three Principal Researchers, based
at ICL HQ in Bracknell, UK.
Before joining ICL, he was the
team-leader for the Facile Programming Language team at ECRC in Munich,
Germany.
Bent is the author of several book
chapters, more than ten journal publications and twenty conference papers.
Bent Thomsen is a Chartered
Scientist (CSci), a Chartered IT Professional (CITP),
a Chartered Engineer (CEng) and a registered European Engineer (Eur Ing). He is a fellow of the
British Computer Society (BCS), a member of
the ACM, IEEE,
BSC FACS, EAPLS and EATCS. Bent has a B.Sc
in Mathematics and an M.Sc in computer science from
Bent Thomsen - Person Profil - Aalborg Universitet
(AAU)
Current Research Projects:
P2025 (only accessible from
the AAU network)
Infinit - HØJNIVEAU SPROG TIL INDLEJREDE SYSTEMER
COST
Action IC0701: Formal Verification of Object-Oriented Software
SmartCampus2.0
Daisy - Center for Data Intensive Systems.
CISS - Center for Indlejrede Software Systemer
Resent Research Projects:
Wifi Based Positioning
SmartCampusAAU
Java Objects Project og CISS - Center for Indlejrede Software Systemer :: Indlejrede systemer skal tale Java
CISS - Center for Indlejrede Software Systemer :: Kirk Polycom - flersproget programmering
Business Processes in Farming
TrainSpotting - CISS - Center for Indlejrede Software Systemer :: Computerspil rykker ud i virkeligheden
Ravenscar-Java Development video
APPSEM II
or VBN : EU working group APPSEM II
Current teaching:
Spring 2012
Languages and Compiler
course for DAT4/SW4
Supervising:
1 Phd
Student: Kasper Søe Luckow
1 SW10 group: Dennis Hedegaard Raun Madsen,
Filip Stubkjær Adamsen and Søren Houbak Kristiansen (co-supervised with Rene Hansen)
1 SW10 group: Anders Christian Sørensen,
Marcus Calverley (co-supervised with Lone Leth Thomsen)
Past Teaching:
Fall 2011
DAT9/SW9 Programming
Technology Specialisation Course
Supervising:
1 Phd
Student: Kasper Søe Luckow
1 SW9 group: Dennis Hedegaard Raun
Madsen, Filip Stubkjær Adamsen and Søren Houbak Kristiansen (co-supervised with
Rene Hansen)
Spring 2011
Languages and
Compiler course for DAT2/SW4/F6S/BAIT6 (Intranet)
Programming Super
Computers PhD course
Supervising:
1 Phd
Student: Thomas Bøgholm
1 SW10 group: Casper Svenning
Jensen, Kasper Søe Luckow and Christian Frost
1 DAT6 group: Reidar Johannes Ejvindarson Beck, Tommy Jensen, Helge
Willum Larsen
1 SW8 group: Marcus Calverley,
Mikkel Normann Follin, Henrik Søndberg Karlsen, Erik Ramsgaard Wognsen
Fall 2010
DAT5/SW9
Programming Technology Specialisation Course
Supervising:
1 Phd
Student: Thomas Bøgholm
1 SW9 group: Casper Svenning Jensen,
Kasper Søe Luckow and Christian Frost
1 DAT5 group: Reidar Johannes Ejvindarson Beck, Tommy Jensen, Helge
Willum Larsen
1 SW7 group: Marcus Calverley,
Mikkel Normann Follin, Henrik Søndberg Karlsen, Erik Ramsgaard Wognsen
Spring 2010
Languages and
Compiler course for DAT2/SW4/F6S/BAIT6 (Intranet)
Supervising:
1 Phd Student: Thomas
Bøgholm
1 DAT6 group: Jacob Korsgaard and Jørgen Ulrik B. Krag
1 SW10 group: Patrick
Kristiansen and Peder Nielsen
1 SW8 group:
Fall 2009
DAT5/SW9
Programming Technology Specialisation course
Game
Programming Course coordinator
Supervising:
1 Phd Student: Thomas
Bøgholm
1 DAT5 group: Jacob Korsgaard and Jørgen Ulrik B. Krag
Spring 2009
Languages and
Compiler course for DAT2/SW4/F6S (Intranet)
Program Analysis PhD
Course
Supervising:
1 Phd Student: Rene Hansen
1 Phd Student: Stephan Korsholm (currently on leave)
1 Phd Student: Thomas
Bøgholm
1 SW10 group: Christian Eske Hansen and Morten Christiansen
1 DAT8 student: Simon Holm Thøgernsen
1 SP2 student: Jan Jensen
Past
Teaching:
Fall 2008
DAT5/SW9 Programming Technology Specialisation course
Supervising:
1 Phd Student: Rene Hansen
(Currently at Cambridge University)
1 Phd Student: Stephan Korsholm
1 Phd Student: Thomas
Bøgholm
1 SW9 group: Christian Eske Hansen and Morten Christiansen
1 DAT7
student: Simon Holm Thøgernsen
Spring 2008
Languages and Compiler course for
DAT2/SW4/F6S
Programming Super Computers
PhD course
Supervising:
1 Phd
Student: Rene Hansen
1 Phd
Student: Stephan Korsholm
1 DAT6
student: Jesper Bødker
Christensen
1 DAT6
student: Simon Holm Thøgernsen
1 SW10 group: Thomas Bøgholm, Henrik Kragh-Hansen and
Petur Olsen
Past
Teaching:
Fall 2007
DAT5/SW9 Programming Technology Specialisation course
Supervising:
1 Phd
Student: Rene Hansen
1 Phd
Studen: Stephan Korsholm
1 DAT5
group: Jesper Bødker
Christensen and Simon Holm Thøgernsen
1 SW9
group: Thomas Bøgholm, Henrik Kragh-Hansen and Petur Olsen
1 SW7
group: Dan Kærvang, Jonas Vejlin, tharaniharan,
Spring 2007
Languages and Compiler course for
DAT2/SW4/F6S
Supervising:
1 Phd
Student: Rene Hansen
1 Phd
Studen: Stephan Korsholm
1 DAT8
group: Jacob Elkjaer Hansen, Morten Kirkegaard Hansen and Erik Hejlskov
1 SW8
group: Henrik Kronborg Andersen, Thomas Bøgholm, Henrik Kragh-Hansen and Petur
Olsen
2 DAT6
students: Birthe Pedersen Damborg and Anders Mørk Hansen
3 SW10
students: Brian Groen Joergensen, Tinus Norstved and Eckhart Thorsten Krog
Pedersen
Fall 2006
DAT5/SW9
Programming Technology Specialisation course
Supervising:
1 Phd
Student: Rene Hansen
1 DAT7
group: E3-111, Jacob Elkjaer Hansen, Morten Kirkegaard Hansen and Erik Hejlskov
1 SW7
group: E3-212, Henrik Kronborg Andersen, Thomas Bøgholm, Henrik Kragh-Hansen
and Petur Olsen
1 DAT5 student: E4-115, Claus Heegaard Poulsen
2 DAT5 students: E4-110, Birthe Pedersen Damborg and
Anders Mørk Hansen
2 DAT5 students: E4-112, Alex Henning Johannesen and
Jacob Volstrup Pedersen
3 SW9 students: E4-115, Brian Groen Joergensen, Tinus
Norstved and Eckhart Thorsten Krog Pedersen
Spring 2006
Languages and Compiler course for
DAT2/SW4/F6S
Mobile Software Technologies course
for SW8 and SP2
Supervising one group of
three DAT6 students and two DAT8 students.
Fall 2005
DAT5/SW9
Programming Technology Specialisation Course
Introduction to Java course for 1st
year students
Supervising one group of DAT5
students, one DAT6 student, 3 DAT7 students and one group of SW7 students.
Technical
supervisor for one entrepreneur in the greenhouse incubator.
Spring 2005
Languages
and Compiler course for DAT2/SW4/F6S students
Mobile
Software Technologies course for SP2 students
Java
vs. C# course for PhD Students
Supervising one group of two DAT6 students, one DAT6
student and a group of two DAT8 students.
Fall 2004
ITV course for 1st year
students
Web course for 1st year
students
Introduction to Java course for 1st
year students
DAT5 Programming Technology
Specialisation Course
Supervising one group of four DAT5
students.
Java vs. .Net further education
course, Livsuddannelse 2004.
Spring 2004
Platforms
and Tools for Web Services and Mobile Applications course for PhD students,
summer 2004.
Languages
and Compiler course for DAT2/SW4/F6S, spring of 2004.
Supervised one group of four DAT6
students.
Fall 2003
Fagets IT Kursus which I taught in the
fall of 2003.
DAT5 Programming Technology
Specialisation Course
Supervised one group of four DAT5
students and 1 DAT6 student
Spring 2003.
Languages and Compiler course which I
taught in the spring of 2003.
Supervised 3 P2 groups and one D9
group.
Fall 2002
Fagets IT Kursus which I taught in the fall of 2002.
Supervised 4 P0 groups and 3 P1
groups.