((( CV | LinkedIn | Facebook | Instagram | Twitter | Google Scholar | DBLP | VBDb | IMDb )))

SHORT-FILM

• Writer, director, producer, and co-editor of the 19-minute award-winning short-film on University teaching:
  • ((( "Teaching Teaching & Understanding Understanding" )))

  • Google it!

EVENTS

• SPLC 2018 ((( pc member )))
• SBCARS 2017 ((( pc member )))
• SEAA 2017 ((( pc member )))
• VAMOS 2017 ((( pc member )))
• SPLC 2016 ((( pc member )))
• MODULARITY VISIONS 2016 ((( pc member )))
• SLE 2012 ((( program committee member )))
• LDTA 2011 ((( co-chair )))
• LDTA 2010 ((( co-chair )))
• DGS 2009 ((( jury member )))
• ITiCSE 2009 ((( keynote speaker )))
• DGS 2008 ((( jury member )))
• LDTA 2008 ((( program committee member )))
• Koli Calling 2007 ((( keynote speaker )))
• DMLF 2007 ((( keynote speaker )))
• TeaConc 2007 ((( invited speaker )))
• LDTA 2007 ((( program committee member )))

RESEARCH INTERESTS

• Computing Education Research
• Variability and Software Product Lines
• Static Analysis
• Domain Specific Languages
• Web Technology
• Syntax and Transformation

PH.D. STUDENTS

• Jean Melo (finished 2017, co-advised with Andrzej Wasowski) studied variability bugs from a program and programmer perspective
• Iago Abal (finished 2017, co-advised with Andrzej Wasowski) developed the EBA bug finder that has found several bugs in Linux
• Jakob G. Thomsen (finished 2013, co-advised with Erik Ernst) developed code now running in Google Maps
• Márcio Ribeiro (finished 2012, co-advised with Paulo Borba) won "Best Ph.D. Dissertation of Brazil 2012"

TEACHING

Introduktion til programmering/kodning og IT-tankegang		((( ITU, Nov+Dec 2020 )))
Introductory Programming		((( ITU, Fall 2020 )))
Introduktion til programmering/kodning og IT-tankegang		((( ITU, Sep 2020 )))
Introductory Programming		((( ITU, Fall 2019 )))
Automated Software Analysis		((( ITU, Fall 2019 )))
Practical Concurrent and Parallel Programming		((( ITU, Fall 2019 )))
Introduktion til programmering/kodning og IT-tankegang		((( ITU, Aug+Sep 2019 )))
BootIT (Intro to Programming)		((( ITU, August 2019 )))
Introduktion til programmering/kodning og IT-tankegang		((( ITU, Apr+May 2019 )))
Introductory Programming		((( ITU, Fall 2018 )))
Automated Software Analysis		((( ITU, Fall 2018 )))
Practical Concurrent and Parallel Programming		((( ITU, Fall 2018 )))
Introduktion til programmering/kodning og IT-tankegang		((( ITU, Oct+Nov 2018 )))
IT-Camp (Intro to Programming)		((( ITU, October 2018 )))
Introduktion til programmering/kodning og IT-tankegang		((( ITU, Aug+Sep 2018 )))
BootIT (Intro to Programming)		((( ITU, August 2018 )))
Introduktion til programmering/kodning og IT-tankegang		((( ITU, May+Jun 2018 )))
IT-Camp (Intro to Programming)		((( ITU, April 2018 )))
Coding Classes (Intro to Programming) [Course design]		((( ITU, Spring 2018 )))
Coding Café (Intro to Programming) [Course design]		((( ITU, Spring 2018 )))
IT-Camp (Intro to Programming)		((( ITU, April 2018 )))
Introductory Programming		((( ITU, Fall 2017 )))
Automated Software Analysis		((( ITU, Fall 2017 )))
Practical Concurrent and Parallel Programming		((( ITU, Fall 2017 )))
IT-Camp (Intro to Programming)		((( ITU, October 2017 )))
BootIT (Intro to Programming)		((( ITU, August 2017 )))
IT-Camp (Intro to Programming)		((( ITU, April 2017 )))
Introductory Programming		((( ITU, Fall 2016 )))
Automated Software Analysis		((( ITU, Fall 2016 )))
Practical Concurrent and Parallel Programming		((( ITU, Fall 2016 )))
BootIT (Intro to Programming)		((( ITU, August 2016 )))
Introductory Programming		((( ITU, Fall 2015 )))
Automated Software Analysis		((( ITU, Fall 2015 )))
Practical Concurrent and Parallel Programming		((( ITU, Fall 2015 )))
Advanced Topics in DSL Design and Implementation		((( ITU PhD course, Spring 2015 )))
Interactive Web Services with Java and XML		((( ITU, Spring 2015 )))
Practical Concurrent and Parallel Programming		((( ITU, Fall 2014 )))
Introductory Programming		((( ITU, Fall 2014 )))
Analysis/Test/Verification in the Presence of Variability		((( ITU PhD course, Spring 2014 )))
Interactive Web Services with Java and XML		((( ITU, Spring 2014 )))
Global Software Development		((( ITU, Fall 2013 )))
Introduction to Scripting, Databases, and System Architecture		((( ITU, Fall 2012 )))
Global Software Development		((( ITU, Spring 2012 )))
Interactive Web Services with Java and XML		((( ITU, Spring 2012 )))
Introduction to Scripting, Databases, and System Architecture		((( ITU, Fall 2011 )))
Global Software Development		((( ITU, Spring 2011 )))
Interactive Web Services with Java and XML		((( ITU, Spring 2011 )))
Advanced Models and Programs		((( ITU, Spring 2011 )))
Data-Flow Analysis		((( UFPE, 3*3 hrs, 2010 )))
First-year Project		((( ITU, Spring, 2010 )))
Project-work & Communication		((( ITU, Fall, 2009 )))
Advanced Models & Programs		((( ITU, Spring, 2009 )))
First-year Project		((( ITU, Spring, 2009 )))
Seminar on Teaching & Learning		((( ITU Teachers, Fall, 2008 )))
Project-work & Communication		((( ITU, Fall, 2008 )))
Programming Paradigms		((( AAU, Fall, 2008 (2 weeks) )))
Advanced Models & Programs		((( ITU, Spring, 2008 )))
First-year Project		((( ITU, Spring, 2008 )))
Seminar on Teaching & Learning		((( ITU Faculty, Spring, 2008 )))
Project-work & Communication		((( ITU, Fall, 2007 )))
Programming Paradigms		((( AAU, Fall, 2007 (2 weeks) )))
Concurrency		((( AU, Spring, 2007 (Q3) )))
Programming Paradigms		((( AAU, Fall, 2006 (2 weeks) )))
Semantics		((( AU, Fall, 2006 (Q1) )))
Programming Languages		((( AU, Spring, 2006 (Q2) )))
University Studies in Education		((( DAIMI Faculty, Fall, 2006 (3 days) )))
Concurrency		((( AU, Spring, 2006 (Q3) )))
Semantics		((( AU, Fall, 2005 (Q1) )))
Macro Seminar		((( AU, Spring, 2005 (Q4) )))
Concurrency		((( AU, Spring, 2005 (Q3) )))
Concurrency		((( EVU, Fall, 2004 (Q2) )))
Web Technology		((( EVU, Fall, 2004 (Q1) )))
Concurrency		((( AU, Spring, 2004 (Q3+Q4) )))
Macro Languages		((( AU, Spring, 2002 (2 weeks) )))

THESES

• "Domain Specific Languages for Interactive Web Services"
          ((( Ph.D. Dissertation, University of Aarhus (November 7, 2002) )))
• "Synthesizing Safety Controllers for Interactive Web Services"
          ((( Master's Thesis, University of Aarhus (December 20, 1998) )))

BOOKS

• "Emergent Interfaces for Feature Modularization"
           (( Marcio Ribeiro, Paulo Borba, and Claus Brabrand, Springer, 2014 )))
• "Science of Computer Programming, Vol. 87 (Special Section on LDTA 2011)"
           (( Claus Brabrand and Eric Van Wyk (Eds.), July 2014 )))
• "Proceedings of the Eleventh Workshop on Language Descriptions, Tools, and Applications (LDTA 2011)" ((( bibtex )))
           (( Claus Brabrand and Eric Van Wyk (Eds.), March 2011 )))
• "Proceedings of the Tenth Workshop on Language Descriptions, Tools, and Applications (LDTA 2010)" ((( bibtex )))
          ((( Claus Brabrand and Pierre-Etienne Moreau (Eds.), March 2010 )))

KEYNOTE/INVITED PAPERS

• "Analyzing CS Competencies using The SOLO Taxonomy" ((( bibtex )))
          ((( Keynote abstract for Keynote talk for ITiCSE'09 )))
• "Constructive Alignment and The SOLO Taxonomy: A Comparative Study of University Competences in Computer Science vs. Mathematics" ((( bibtex )))
          ((( Invited paper for Keynote talk for Koli Calling'07 )))
          ((( Conferences in Research and Practice in Information Technology, Vol 88. )))
• "Constructive Alignment for Teaching Model-Based Design for Concurrency" ((( bibtex )))
          ((( Invited paper for Invited talk for TeaConc'07 )))

REFEREED JOURNAL PUBLICATIONS

• "Variability Abstractions for Lifted Analyses"
          ((( Science of Computer Programming, Vol. 159, 2018 )))
• "Variability Bugs in Highly-Configurable Systems: A Qualitative Analysis"
          ((( ACM Transactions on Software Engineering and Methodology (TOSEM), Vol. 26(3), 2018 )))
• "Effective Analysis of C Programs by Rewriting Variability"
          ((( The Art, Science, and Engineering of Programming, Vol. 1(1), 2017 )))
• "Efficient Family-Based Model Checking via Variability Abstractions"
          ((( International Journal on Software Tools for Technology Transfer (STTT), Vol. 19(5), Springer, 2017 )))
• "Systematic Derivation of Correct Variability-Aware Program Analyses"
          ((( Science of Computer Programming, Vol. 105(9), Elsevier, 2015 )))
• "Banana Algebra: Compositional Syntactic Language Extension" ((( bibtex )))
          ((( Science of Computer Programming, Vol. 78(10), Elsevier, 2013 )))
• "Intraprocedural Dataflow Analysis for Software Product Lines" ((( bibtex )))
          ((( Transactions on Aspect-Oriented Software Development, Vol. 10, Springer, 2013 )))
          ((( Reviewed in Computing Reviews, CR141255, May 29, 2013 )))
• "Analyzing Ambiguity of Context-Free Grammars" ((( bibtex )))
          ((( Science of Computer Programming, Vol. 75(3), Elsevier, 2010 )))
• "Using the SOLO Taxonomy to Analyze Competence Progression of University Science Curricula" ((( bibtex )))
          ((( Higher Education, Vol. 58(4), Springer, 2009 )))
• "Constructive Alignment for Teaching Model-Based Design for Concurrency" ((( bibtex )))
          ((( Transactions on Petri Nets and Other Models of Concurrency, Vol. 1(1), Springer-Verlag, 2008 )))
• "Dual Syntax for XML Languages" ((( bibtex )))
          ((( Information Systems, Vol. 33(4), Elsevier, 2008 )))
• "The metafront System: Safe and Extensible Parsing and Transformation" ((( bibtex )))
          ((( Science of Compute Programming, Vol. 68(1), Elsevier, 2007 )))
• "Language-Based Caching of Dynamically Generated HTML" ((( bibtex )))
          ((( World Wide Web, Vol. 5(4), Springer, 2002 )))
• "The <bigwig> Project" ((( bibtex )))
          ((( Transactions on Internet Technologies, Vol. 2(2), ACM, 2002 )))
• "PowerForms: Declarative Client-side Form Field Validation" ((( bibtex )))
          ((( World Wide Web, Vol. 3(4), Kluwer, 2000 )))
• "A Runtime System for Interactive Web Services" ((( bibtex )))
          ((( Computer Networks, Vol. 31(11-16), Elsevier, 1999 )))

REFEREED CONFERENCE AND WORKSHOP PUBLICATIONS

• "Variability Through the Eyes of the Programmer"
          ((( ICPC 2017, Buenos Aires, Argentina, 2017 )))
• "Effective Bug Finding in C Programs with Shape and Effect Abstractions"
          ((( VMCAI 2017, Paris, France, 2017 )))
• "Finding Suitable Variability Abstractions for Family-Based Analysis"
          ((( FM 2016, Limassol, Cyprus, 2016 )))
• "How does the Degree of Variability affect Bug Finding?"
          ((( ICSE 2016, Austin, TX, USA, 2016 )))
• "A Quantitative Analysis of Variability Warnings in Linux"
          ((( VAMOS 2016, Salvador, Brazil, 2016 )))
• "Family-Based Model Checking without a Family-Based Model Checker"
          ((( SPIN 2015, Stellenbosch, South Africa, 2015 )))
• "Variability Abstractions: Trading Precision for Speed in Family-Based Analyses"
          ((( ECOOP 2015, Prague, Czech Republic, 2015 )))
• "42 Variability Bugs in the Linux Kernel: A Qualitative Study"
          ((( ASE 2014, Västerås, 2014 )))
• "Systematic Derivation of Static Analyses for Software Product Lines" ((( bibtex )))
          ((( MODULARITY 2014, Lugano, Switzerland )))
• "SPL^LIFT: Statically Analyzing Software Product Lines in Minutes instead of Years" ((( bibtex )))
          ((( PLDI 2013, Seattle, WA, USA )))
• "WebSelF: A Web Scraping Framework" ((( bibtex )))
          ((( ICWE 2012, Berlin, Germany, 2012 )))
• "Emergo: A Tool for Improving Maintainability of Preprocessor-based Product Lines" ((( bibtex )))
          ((( AOSD Demos 2012, Potsdam, Germany, 2012 )))
• "Intraprocedural Dataflow Analysis for Software Product Lines" ((( bibtex )))
          ((( AOSD 2012, Potsdam, Germany, 2012 )))
• "On the Impact of Feature Dependencies when Maintaining Preprocessor-based Software Product Lines" ((( bibtex )))
          ((( GPCE 2011, Portland, OR, USA, 2011 )))
• "A Tool for Improving Maintainability of Preprocessor-based Product Lines" ((( bibtex )))
          ((( CBSoft 2011, São Paulo, Brazil, 2011 )))
• "Typed and Unambiguous Pattern Matching on Strings using Regular Expressions" ((( bibtex )))
          ((( PPDP 2010, Hagenberg, Austria, 2010 )))
• "Syntactic Language Extension via an Algebra of Languages and Transformations" ((( bibtex )))
          ((( LDTA'09, York, England, 2009 )))
• "Analyzing Ambiguity of Context-Free Grammars" (journal version: here) ((( bibtex )))
          ((( CIAA'07, Prague, Czech Republic, 2007 )))
• "Dual Syntax for XML Languages" (journal version: here) ((( bibtex )))
          ((( DBPL'05, Trondheim, Norway, 2005 )))
• "The metafront System: Extensible Parsing and Transformation" ((( bibtex )))
          ((( LDTA'03, Warsaw, Poland, 2003 )))
• "Growing Languages with Metamorphic Syntax Macros" ((( bibtex )))
           ((( PEPM'02, Portland, OR, USA, 2002 )))
• "Static Validation of Dynamically Generated HTML" ((( bibtex )))
          ((( PASTE'01, Snowbird, UT, USA, 2001 )))
• "A Runtime System for Interactive Web Services" ((( bibtex )))
          ((( WWW8, Toronto, Canada, 1999 )))

CONFERENCE AND WORKSHOP PRESENTATIONS

• "Systematic Derivation of Correct Variability-Aware Program Analyses"
          ((( FOSD 2014, Traunkirchen, Austria (May 16, 2015) )))
• "Systematic Derivation of Static Analyses for Software Product Lines"
          ((( MODULARITY 2014, Lugano, Switzerland (April 25, 2014) )))
• "Intraprocedural Dataflow Analysis for Software Product Lines"
          ((( AOSD 2012, Potsdam, Germany (March 29, 2012) )))
• "Banana Algebra: Syntactic Language Extension via an Algebra of Languages and Transformations"
          ((( LDTA'09, York, England (March 28, 2009) )))
• "Analyzing Ambiguity of Context-Free Grammars"
          ((( CIAA'07, Prague, Czech Republic (July 18, 2007) )))
• "xsugar: Dual Syntax for XML Languages"
          ((( DBPL'05, Trondheim, Norway (August 28, 2005) )))
• "The metafront System: Extensible Parsing and Transformation"
          ((( LDTA'03, Warsaw, Poland (April 6, 2003) )))
• "Growing Languages with Metamorphic Syntax Macros"
          ((( PEPM'02, Portland, OR, USA (January 14, 2002) )))
• "Static Validation of Dynamically Generated HTML"
          ((( PASTE'01, Snowbird, UT, USA (June 18, 2001) )))
• "A Runtime System for Interactive Web Services"
          ((( WWW8, Toronto, Canada (May 12, 1999) )))

INVITED PRESENTATIONS (COMPUTER SCIENCE)

• "Finding Bugs in Linux with Shape-and-Effect Abstractions"
          ((( Universidade Federal de Pernambuco (UFPE), Recife, Brazil (June 21, 2017) )))
• "Finding Bugs in Linux with Shape-and-Effect Abstractions"
          ((( TU Delft, Delft, Holland (February 14, 2017) )))
• "Static Analysis of Software Product Lines"
          ((( MT-Lab, Copenhagen, Denmark (August 9, 2013) )))
• "Statically Analyzing Software Product Lines in Minutes instead of Years"
          ((( CS.AU.DK, Aarhus, Denmark (May 24, 2013) )))
• "Statically Analyzing Software Product Lines in Minutes instead of Years"
          ((( SSS Seminar, Copenhagen, Denmark (May 21, 2013) )))
• "Intraprocedural Dataflow Analysis for Software Product Lines"
          ((( Dagstuhl Seminar, Dagstuhl, Germany (Feb 26, 2013) )))
• "Dataflow Analysis for Software Product Lines"
          ((( COPLAS Seminar, Copenhagen, Denmark (May 24, 2012) )))
• "Pattern Matching on Strings using Regular Expressions"
          ((( Universidade Federal de Pernambuco (UFPE), Recife, Brazil (July 14, 2010) )))
• "Pattern Matching on Strings using Regular Expressions"
          ((( COPLAS Seminar, Copenhagen, Denmark (May 11, 2010) )))
• "Banana Algebra: Syntactic Language Extension via an Algebra of Languages and Transformations"
          ((( COPLAS Seminar, Copenhagen, Denmark (May 11, 2010) )))
• "Pattern Matching on Strings using Regular Expressions"
          ((( FIRST Retreat, Bautahøj, Denmark (April 16, 2010) )))
• "Banana Algebra: Syntactic Language Extension via an Algebra of Languages and Transformations"
          ((( Universidade Federal de Pernambuco (UFPE), Recife, Brazil (December 30, 2009) )))
• "Banana Algebra: Syntactic Language Extension via an Algebra of Languages and Transformations"
          ((( Aarhus University, Aarhus, Denmark (November 23, 2009) )))
• "Banana Algebra: Syntactic Language Extension via an Algebra of Languages and Transformations"
          ((( University of Sussex, Brighton, England (October 23, 2009) )))
• "Banana Algebra: Syntactic Language Extension via an Algebra of Languages and Transformations"
          ((( Reykjavik University, Reykjavik, Iceland (September 21, 2009) )))
• "Banana Algebra: Syntactic Language Extension via an Algebra of Languages and Transformations"
          ((( Bergen University, Bergen, Norway (September 18, 2009) )))
• "Banana Algebra: Syntactic Language Extension via an Algebra of Languages and Transformations"
          ((( CWI, Amsterdam, Holland (August 19, 2009) )))
• "Analyzing Ambiguity of Context-Free Grammars"
          ((( CWI, Amsterdam, Holland (August 19, 2009) )))
• "Banana Algebra: Syntactic Language Extension via an Algebra of Languages and Transformations"
          ((( COPLAS Seminar, DIKU (South), Copenhagen University, Denmark (April 2, 2009) )))
• "Analyzing Ambiguity of Context-Free Grammars"
          ((( IT University of Copenhagen, Denmark (July 9, 2007) )))
• "Analyzing Ambiguity of Context-Free Grammars"
          ((( University of Aalborg, Denmark (December 19, 2006) )))
• "Analyzing Ambiguity of Context-Free Grammars"
          ((( Technische Fakultät, University of Bielefeld, Germany (April 5, 2006) )))
• "xsugar: Dual Syntax for XML Languages"
          ((( University of Tokyo (Todai), Japan (July 15, 2005) )))
• "xsugar: Reversible Stylesheets"
          ((( CISS, University of Aalborg, Denmark (April 13, 2005) )))
• "xsugar: Reversible Stylesheets"
          ((( COPLAS Seminar, IT-University of Copenhagen, Denmark (March 17, 2005) )))
• "xsugar: Reversible Stylesheets"
          ((( π-λ Seminar, University of Aarhus, Denmark (November 29, 2004) )))
• "Approximating Context-Free Grammar Ambiguity"
          ((( π-λ Seminar, University of Aarhus, Denmark (November 5, 2004) )))
• "Call/C: A Domain Specific Language for Robust Internet Telephony Services"
          ((( CorSS Meeting, ENSEIRB, Bordeaux, France (November 28, 2003) )))
• "Domain Specific Languages for Interactive Web Services"
          ((( Net.Object Days 2003, Erfurt, Germany (September 22, 2003) )))
• "Flexible, Safe, and Efficient Dynamic Generation of XML"
          ((( LaBRI / INRIA, Bordeaux, France (November 28, 2002) )))
• "Macro Languages and Metamorphic Syntax Macros"
          ((( IT University of Copenhagen, Copenhagen, Denmark (November 22, 2002) )))
• "Macro Languages"
          ((( For "AoPL" course, University of Aarhus, Denmark (May 14, 2002) )))
• "Flexible, Safe, and Efficient Dynamic Generation of HTML"
          ((( University of Pennsylvania, Philadelphia, PA, USA (August 22, 2001) )))
• "Flexible, Safe, and Efficient Dynamic Generation of HTML"
          ((( IBM Research, Hawthorne, NY, USA (July 13, 2001) )))
• "Metamorphic Syntax Macros"
          ((( Qualification exam, University of Aarhus, Denmark (January 25, 2001) )))
• "<bigwig>--A Language for Developing Interactive Web Services"
          ((( Microsoft Research, Redmond, WA, USA (March 20, 2000) )))
• "<bigwig>--A Language for Developing Interactive Web Services"
          ((( Datalogforeningen, Copenhagen, Denmark (January 18, 2000) )))
• "<bigwig>--A Language for Developing Interactive Web Services"
          ((( Datalogforeningen, Aarhus, Denmark (December 7, 1999) )))

INVITED PRESENTATIONS (EDUCATIONAL STUDIES)

• "How to make sure your students learn what you want them to"
          ((( Pedagogy Seminar at DTU, Copenhagen, Denmark (October 10, 2013) )))
• "How to make sure your students learn what you want them to"
          ((( Universidade Federal de Pernambuco, Recife, Brazil (August 03, 2010) )))
• "How to Improve the Quality of Teaching & Learning"
          ((( Dies Academicus 2010, University of Bielefeld, Germany (May 19, 2010) )))
• "Presentations from seminar on Teaching/Learning Activities"
          ((( IT University of Copenhagen, Copenhagen, Denmark (November 20, 2009) )))
• "How to make sure students learn what we want them to"
          ((( Reykjavik University, Reykjavik, Iceland (September 22, 2009) )))
• "Analyzing CS Competencies using The SOLO Taxonomy
          ((( Keynote address, ITiCSE'09, Paris, France (July 6, 2009) )))
• "Seminar on Teaching & Learning"
          ((( One-day seminar for entire ITU teaching staff, IT University of Copenhagen, Denmark (Oct 31, 2008) )))
• "Seminar on Teaching & Learning"
          ((( One-day seminar for entire ITU teaching staff, DGI-Byen, Copenhagen, Denmark (May 28, 2008) )))
• "Getting Students to Work ...on Projects ...in Groups"
          ((( Short presentation at the FIRST Ph.D. School Retreat, Birker d, Denmark (April 29, 2008) )))
• "Personality Types for Working in Groups"
          ((( Short presentation at the FIRST Ph.D. School Retreat, Birker d, Denmark (April 28, 2008) )))
• "Constructive Alignment for Teaching Computer Science"
          ((( Keynote address, Koli Calling 2007, Koli National Park, Finland (November 16, 2007) )))
• "Constructive Alignment"
          ((( Keynote for DMLF'07, Vejle, Denmark (September 20, 2007) )))
• "Constructive Alignment for Teaching Model-Based Design for Concurrency"
          ((( 2-hour Invited talk for TeaConc'07, Siedlce, Poland (June 25, 2007) )))
• "On the Use of Video and Humour in Teaching"
          ((( Video Roadshop, University of Aarhus (June 07, 2007) )))
• "Teaching Teaching & Understanding Understanding"
          ((( Seminar on Alignment, Institute of Information and Media Studies (May 14, 2007) )))
• "Teaching Teaching & Understanding Understanding"
          ((( Seminar on Alignment, Engineering College of Aarhus (April 11, 2007) )))
• "Implementation af den nye karakterskala"
          ((( Seminar, Faculty of Science, University of Southern Denmark (February 21, 2007) )))
• "Teaching Teaching & Understanding Understanding"
          ((( Seminar on Alignment, Copenhagen Business School (January 30, 2007) )))
• "Den nye karakterskala: Implementation på NAT/AU"
          ((( Seminar, for all teachers at the Faculty of Science, Uni. of Aarhus (January 24, 2007) )))
• "Teaching Teaching & Understanding Understanding"
          ((( Seminar, University of Aalborg, Denmark (December 19, 2006) )))
• "The Theory of Didactic Situations"
          ((( 3-day DAIMI teaching seminar, Sandbjerg, Denmark (August 24, 2006) )))
• "Introduction to University Didactics (University Studies in Education)"
          ((( OOSS Retreat, Molslaboratoriet, Denmark (February 25, 2006) )))
• "Introduction to University Didactics (University Studies in Education)"
          ((( Special Teaching Seminar, AU, University of Aarhus, Denmark (November 25, 2005) )))
• "Introduction to University Didactics (University Studies in Education)"
          ((( Special Teaching Seminar, AU, University of Aarhus, Denmark (November 4, 2005) )))
• "Introduction to University Didactics; what students do when we teach"
          ((( FIRST/BRICS Ph.D. Schools' Annual Retreat, Sandbjerg, Denmark (October 25, 2005) )))

OTHER PRESENTATIONS

• "Menneskesprog vs. Computersprog"
          ((( For the Night of Culture, Copenhagen, Denmark (October 9, 2009) )))
• "An Introduction to Wine Tasting"
          ((( For the Teaching at the University Seminar, Sandbjerg, Denmark (August 10, 2005) )))
• "An Introduction to Wine Tasting"
          ((( For the French Week at the International Student Center (ISC), Denmark (April 13, 2005) )))
• "Artificial (Programming) Languages vs. Natural Languages"
          ((( For Course on Linguistic Typology, Department of Linguistics, University of Aarhus, Denmark (December 2, 2004) )))
• "Vinsmagning: Initiation à la Dégustation du Vin" (in Danish)
          ((( Halian XX, Denmark (November 22, 2003) )))

AWARDS

• SPL-lift awarded German IT-Security Award (second place) €60,000 EUR (Oct 23, 2014)
  ((( German IT-Security Award by The Horst Görtz Foundation )))
• My Ph.D. student (co-advised with Paulo Borba): Márcio Ribeiro won "Best Dissertation of Brazil 2012" (in Computer Science) (July 25, 2013)
  "Emergent Feature Modularization"
  ((( CTD at CSBC 2013, Maceió, Brazil, 2013 )))
• "Best Tool Award" (September 30, 2011)
  "A Tool for Improving Maintainability of Preprocessor-based Product Lines" ((( bibtex )))
  ((( CBSoft 2011, São Paulo, Brazil, 2011 )))
• "Det Gyldne Snit 2006" (November 13, 2006)
  "Teaching Teaching & Understanding Understanding" ((( bibtex )))
  ((( The Golden Ratio Award for best educational film of the year )))

TV, FILM, & VIDEO

		"Tvetydighed: Om Mennesker og Computere" ((( TV: Danskernes Akademi, DR2 (March 23, 2011) ))) TV: Tvetydighed ((( 24 min (online video) )))
		"Teaching & Learning Seminars at ITU" ((( Video-Recorded Lecture, ITU (Oct 08, 2010) ))) TV: Teaching & Learning ((( 60+24 mins (video-recorded lecture) )))
		"Teaching Teaching & Understanding Understanding" ((( Award-winning short-film (2006) ))) Film: http://www.daimi.au.dk/~brabrand/short-film/ ((( 19 min short-film ) )))
		"Flexible, Safe, and Efficient Dynamic Generation of HTML" ((( IBM Research, T. J. Watson Research Center, Hawthorne, NY, USA (July 13, 2001) ))) Video: bigwig-ibm.mpg ((( 62 min, 164 MB (MPG format) )))
		"<bigwig> - A Programming Language for Developing Interactive Web Services" ((( Microsoft Research, Redmond, WA, USA (March 20, 2000) ))) Video: bigwig-ms.asf ((( 72 min, 166 MB (ASF format) )))

NUMBERS

• My "Erdõs Number" is 4 (due to the following co-author path):
  • ((( Paul Erdõs -1-> Shmuel Zaks -2-> Dexter Kozen -3-> Michael Schwartzbach -4-> Claus Brabrand )))

• My "Bacon Number" is 4:
  • ((( Kevin Bacon -1-> Stream Gardner -2-> Mads Koudal -3-> Richard Raskin -4-> Claus Brabrand )))

• Curiously, I am the 12^th Ph.D.-generation descendant of Carl Friedrich Gauss:
  • ((( Carl Friedrich Gauss -1-> Friedrich Wilhelm Bessel -2-> Heinrich Ferdinand Scherk -3-> Ernst Eduard Kummer -4-> Carl David Tolmé Runge -5-> Max Born -6-> Viktor Frederick Weisskopf -7-> Murray Gell-Mann -8-> Sidney Richard Coleman -9-> Leonard Emanuel Parker -10-> Prakash Panangaden -11-> Michael I. Schwartzbach -12-> Claus Brabrand )))

TRAVELLING

• Travelling ((( World map | Brazil states )))

LANGUAGES

Dansk	((( native )))
English	((( fluent )))
Français	((( fluent )))
Português	((( fluent )))
Svenska	((( intermediate )))
Italiano	((( intermediate )))
Español	((( intermediate )))
Deutsch	((( basic conversation level )))
Norsk	((( passive: understood/read )))

CONTACT INFORMATION

Claus Brabrand	Phone (+45) 72 18 50 76
IT-University of Copenhagen	Fax: (+45) 72 18 50 01
Rued Langgaards Vej 7	Office: 4D12
DK-2300 København S	Email: brabrand@itu.dk
Denmark	Web: http://www.itu.dk/people/brabrand/

</>