He is the manager of the Legacy Project "Conversations on George Boole" for which he received a UCC Impact Award 2016, https://georgeboole200.ucc.ie/conversations/
Upcoming: research visit, Cambridge in Nov 15 - Nov 19, 2018 (research collaboration with Marcelo Fiore). Recently received an invitation to present a talk as semi-plenary speaker at the SUMTOP2019 conference in Johannesburg (July 2019).
***Please note:I still maintain this biography, but no longer maintain other info in the system at this stage. For up to date grant information, a copy of my CV is available on request. Please refer to google scholar for up to date publication info or contact me for an up to date copy of my CV.***
His CMU thesis focused on the theory of complexity spaces, developing semantic models capable of capturing execution-cost. His research program consistently focuses on establishing a foundation for modular algorithm analysis, complemented by a drive to combine theory and practice. He has led the SFI funded research centre CEOL (Centre for Efficiency-Oriented Languages, www.ceol.ucc.ie, 2003 - 2014) that collaborated with Sun Microsystems, Synopsys and Incubaid. His research has been supported by a combined funding of 3M+ Euro, including two SFI-PI awards and an IDA co-PI award.
Following his graduation, he joined Imperial College London as an EC Marie Curie Fellow Post Doc. He held a Post Doc position at the University of Siegen and joined the Department of Computer Science at National University of Ireland, Cork where he currently is a Professor. He held a visiting research professorship at the University of Paris 7 and is a DAAD award recipient, including a stay at Schloss Dagstuhl.
He has acted as an editor of the journal Annals of the Marie Curie Fellowship Association and is an editor on the journal Applied General Topology. Currently he is editor for an issue of Logical Methods in Computer Science. He received prior funding from the Belgian National Science Foundation (NFWO), the German Academic Exchange Service (DAAD), Enterprise Ireland and the Royal Irish Academy, and is currently on the managing committee of two EU COST actions, TACLe (real-time languages area) and Action IC1405 (reversible computing)He has taken part in various SFI boards, as a panel member, panel chair and advisory member of SFI's Frontiers of Engineering and Science Funding Programme (FES,SFI). He has been invited speaker/plenary speaker at several international conferences.
His prior publications include the solution of eight open problems, including the, at the time, surprising result that all domains are quantifiable, the characterization (joint with the Swiss mathematician H. P. Kunzi) of the Smyth-completability and a variety of other solutions outlined in his CV.
He is the author of the Springer book "A Modular Calculus for the Average Cost of Data Structuring," introducing the novel calculus for modular average-cost derivation.
He has been the direct supervisor of eight post docs (see http://www.ceol.ucc.ie/personnel.php), five PhD students (graduated) and five MSc students (graduated). He also has been the advisor of three further Phd students and supervised nine undergraduate research projects (encouraging undergraduate students to take part in CEOL research, some of which were funded through SFI).
Michel Schellekens organized Domains XII and the logic conference "From Boole's Algebra of Logic to Boolean Algebra and Beyond" in relation to the Mathematical Sciences Conferences in the Boole Year, August 2015: http://booleconferences.ucc.ie/gbmsc2015/domainsxii and http://booleconferences.ucc.ie/gbmsc2015/theme2)
He also coordinated the preparation of a legacy recording of Boole's scientific impact (funded by UCC SEFS Boole Committee and the Tyndall National Institute). The Boole legacy recording completed the filming of sixteen interviews with experts, including Alberto Sangiovanni Vincentelli, Muffy Calder, Stanley Burris, Dana Scott and Don Knuth. Interviews took place at the Field's institute in Toronto, California (Berkley and Stanford), MIT as well as the Kennedy Space centre to provide a lasting record on Boole's legacy. https://georgeboole200.ucc.ie/conversations/
Biography
Prof. Schellekens obtained his MSc in pure mathematics (VUB) and a PhD in Mathematics/Pure and Applied Logic from Carnegie Mellon University under guidance of Stephen Brookes and Dana Scott. His recent sabbatical took place as Visiting Associate Professor at the university of Stanford, Department of CS (theory group, research host: Don Knuth) in May 15 - Aug 31 2017 and April 15 - Aug 15, 2018. He will revisit Stanford as a Fulbright Scholar (http://www.fulbright.ie/custom_alumni/michel-schellekens/) in April 5 - Aug 31, 2018 to continue his research on Algorithmic Design Automation and is preparing a book on the topic.He is the manager of the Legacy Project "Conversations on George Boole" for which he received a UCC Impact Award 2016, https://georgeboole200.ucc.ie/conversations/
Upcoming: research visit, Cambridge in Nov 15 - Nov 19, 2018 (research collaboration with Marcelo Fiore). Recently received an invitation to present a talk as semi-plenary speaker at the SUMTOP2019 conference in Johannesburg (July 2019).
***Please note:I still maintain this biography, but no longer maintain other info in the system at this stage. For up to date grant information, a copy of my CV is available on request. Please refer to google scholar for up to date publication info or contact me for an up to date copy of my CV.***
His CMU thesis focused on the theory of complexity spaces, developing semantic models capable of capturing execution-cost. His research program consistently focuses on establishing a foundation for modular algorithm analysis, complemented by a drive to combine theory and practice. He has led the SFI funded research centre CEOL (Centre for Efficiency-Oriented Languages, www.ceol.ucc.ie, 2003 - 2014) that collaborated with Sun Microsystems, Synopsys and Incubaid. His research has been supported by a combined funding of 3M+ Euro, including two SFI-PI awards and an IDA co-PI award.
Following his graduation, he joined Imperial College London as an EC Marie Curie Fellow Post Doc. He held a Post Doc position at the University of Siegen and joined the Department of Computer Science at National University of Ireland, Cork where he currently is a Professor. He held a visiting research professorship at the University of Paris 7 and is a DAAD award recipient, including a stay at Schloss Dagstuhl.
He has acted as an editor of the journal Annals of the Marie Curie Fellowship Association and is an editor on the journal Applied General Topology. Currently he is editor for an issue of Logical Methods in Computer Science. He received prior funding from the Belgian National Science Foundation (NFWO), the German Academic Exchange Service (DAAD), Enterprise Ireland and the Royal Irish Academy, and is currently on the managing committee of two EU COST actions, TACLe (real-time languages area) and Action IC1405 (reversible computing)He has taken part in various SFI boards, as a panel member, panel chair and advisory member of SFI's Frontiers of Engineering and Science Funding Programme (FES,SFI). He has been invited speaker/plenary speaker at several international conferences.
His prior publications include the solution of eight open problems, including the, at the time, surprising result that all domains are quantifiable, the characterization (joint with the Swiss mathematician H. P. Kunzi) of the Smyth-completability and a variety of other solutions outlined in his CV.
He is the author of the Springer book "A Modular Calculus for the Average Cost of Data Structuring," introducing the novel calculus for modular average-cost derivation.
He has been the direct supervisor of eight post docs (see http://www.ceol.ucc.ie/personnel.php), five PhD students (graduated) and five MSc students (graduated). He also has been the advisor of three further Phd students and supervised nine undergraduate research projects (encouraging undergraduate students to take part in CEOL research, some of which were funded through SFI).
Former graduate students & current affiliation (selection)
- Rachit Agarwal (MSc by research) assistant professor Cornell University
- Diarmuid Early (PhD) Director Deutsche Bank Wall Street.
- Ang Gao (PhD) IBM Extreme Blue 2011 award, Software Engineer at TripAdvisor
- David Hickey (PhD) Senior Developer at IG
- Maria O'Keeffe (PhD), Sarah De Wachter (Phd) (Joint supervisor with Prof. E. Colebunders)
* Former postdocs & current affiliation (selection)
- Dilip Vasudevan Computer Science Research Fellow at Berkeley Lab
- Menouer Boubekeur Senior Staff Research Scientist at United Technologies Research Center
- Ka Lok Man Associate Professor, Xi'an Jiaotong-Liverpool University
- Maziar Goudarzi Assistant Professor, Sharif University of Technology
- Aoife Hennessy Lecturer WIT
Project supervision joint with MIT, M. Medard
- E. Crotty, Software Engineer at Google
Non-EU students committee chair
In relation to outreach activities, he believes that science interest is best fostered at an early age, when children are most open to new ideas and peer pressure does not yet interfere. He coordinated the outreach primary school project "Seanchai Bringing Science to Kids" (Storytellers bringing Science to Kids), wrote the stories, and brought several shows involving four storytellers and a circus performer for children and their parents/teachers at venues such at Dublin's National Museum and UCC's Aula Max (www.ceol.ucc.ie/story). He also takes part in outreach as a scientist-storyteller, performing for adult audiences to promote science. He uses storytelling as an implicit component in education, clarifying fundamental concepts in Computer Science through via aptly chosen stories.
- Rachit Agarwal (MSc by research) assistant professor Cornell University
- Diarmuid Early (PhD) Director Deutsche Bank Wall Street.
- Ang Gao (PhD) IBM Extreme Blue 2011 award, Software Engineer at TripAdvisor
- David Hickey (PhD) Senior Developer at IG
- Maria O'Keeffe (PhD), Sarah De Wachter (Phd) (Joint supervisor with Prof. E. Colebunders)
* Former postdocs & current affiliation (selection)
- Dilip Vasudevan Computer Science Research Fellow at Berkeley Lab
- Menouer Boubekeur Senior Staff Research Scientist at United Technologies Research Center
- Ka Lok Man Associate Professor, Xi'an Jiaotong-Liverpool University
- Maziar Goudarzi Assistant Professor, Sharif University of Technology
- Aoife Hennessy Lecturer WIT
Project supervision joint with MIT, M. Medard
- E. Crotty, Software Engineer at Google
Non-EU students committee chair
In relation to outreach activities, he believes that science interest is best fostered at an early age, when children are most open to new ideas and peer pressure does not yet interfere. He coordinated the outreach primary school project "Seanchai Bringing Science to Kids" (Storytellers bringing Science to Kids), wrote the stories, and brought several shows involving four storytellers and a circus performer for children and their parents/teachers at venues such at Dublin's National Museum and UCC's Aula Max (www.ceol.ucc.ie/story). He also takes part in outreach as a scientist-storyteller, performing for adult audiences to promote science. He uses storytelling as an implicit component in education, clarifying fundamental concepts in Computer Science through via aptly chosen stories.
He also coordinated the preparation of a legacy recording of Boole's scientific impact (funded by UCC SEFS Boole Committee and the Tyndall National Institute). The Boole legacy recording completed the filming of sixteen interviews with experts, including Alberto Sangiovanni Vincentelli, Muffy Calder, Stanley Burris, Dana Scott and Don Knuth. Interviews took place at the Field's institute in Toronto, California (Berkley and Stanford), MIT as well as the Kennedy Space centre to provide a lasting record on Boole's legacy. https://georgeboole200.ucc.ie/conversations/
Research Interests
Main research focus: Algorithmic Design AutomationResearch Grants
| Project | Funding Body | Start Date | End Date | Award | |
|---|---|---|---|---|---|
| Power Estimation and Optimisation for Systems on Chip | Industry Sponsor | 01-OCT-07 | 30-SEP-11 | €435,277.00 | |
| Semantics of Programming Languages and Quantitative Domain Theory | Higher Education Authority (HEA) | 01-JUN-02 | 03-APR-07 | €85,100.00 | |
| (Imperial College London) A topological foundation for complexity analysis of programs, and its potential for developing a ``complexity sensitive semantics'' for programming languages. | European Commission | 04-MAR-96 | 06-MAY-96 | €42,860.00 | |
| Programming Languages supporting efficient design | Enterprise Ireland | 01-APR-01 | 30-APR-02 | €4,181.00 | |
| SFI 'Expanding the Scope and Applicability of Static Average Case Analysis Via MOQA' | Science Foundation of Ireland | 11-AUG-08 | 10-APR-14 | €1,127,801.00 | |
| A programme Built In Self Test for 3D Computer Architecture. | Science Foundation of Ireland | 01-NOV-09 | 31-DEC-10 | €7,798.00 | |
| D.E.A. de logique et de Fondements de l'Informatique, support grant | Other: Not Listed | 01-JAN-89 | 01-JUN-89 | €1,250.00 | |
| Fundamental Techniques and Methods in Mathematics | Other: Not Listed | 15-MAY-97 | 01-JUL-97 | €1,250.00 | |
| Summer Student - Diarmuid Early | Science Foundation of Ireland | 06-JUN-05 | 29-AUG-05 | €5,600.00 | |
| Summer Student - David Devlin | Science Foundation of Ireland | 06-JUN-05 | 29-AUG-05 | €5,600.00 | |
| Seanchai Bringing Science to Kids | Other: Not Listed | 01-APR-12 | 18-NOV-12 | €6,917.00 | |
| {Schellehens,Dr.} N | Science Foundation of Ireland | 07-APR-03 | 31-MAR-08 | €1,016,918.00 | |
| SFI "High Efficiency Orientated Programming Language" | Science Foundation of Ireland | 15-JAN-05 | 14-JAN-09 | €188,940.00 | |
| SFI-Summer Student David Murphy | Science Foundation of Ireland | 11-JUN-07 | 03-SEP-07 | €4,800.00 | |
| Summer Student - Raja Banka | Science Foundation of Ireland | 08-MAY-06 | 31-JUL-06 | €5,800.00 | |
| A unified framework for Quantitative Domain Theory | Royal Irish Academy | 01-JAN-01 | 31-DEC-03 | €5,874.00 | |
| SFI "Incorporating the modular static timin tool ACETT in Sun's Real-Time Java Platform Mackinac" | Science Foundation of Ireland | 01-SEP-06 | 31-MAR-08 | €64,500.00 | |
| Quantitative Domain Theory | Other: Not Listed | 01-AUG-01 | 31-AUG-01 | €6,081.00 | |
| Conversations with George Boole: the legacy in logic, mathematics, com- puter science and engineering | Tyndall National Institute National Access Programme | 01-DEC-14 | 31-AUG-15 | €15,000.00 |
Publications
Books
| Year | Publication | |
|---|---|---|
| (2008) | A Modular Calculus for the Average Cost of Data Structuring. M. Schellekens (2008) A Modular Calculus for the Average Cost of Data Structuring. New York: Springer. [Details] |
Peer Reviewed Journals
| Year | Publication | |
|---|---|---|
| (2017) | 'Approximating SP-orders through total preorders: incomparability and transitivity through permutations' Estevan, A;Schellekens, M;Valero, O (2017) 'Approximating SP-orders through total preorders: incomparability and transitivity through permutations'. Quaestiones Mathematicae, 40 :413-433 [DOI] [Details] | |
| (2011) | 'The complexity space of partial functions: a connection between complexity analysis and denotational semantics' Romaguera, S;Schellekens, MP;Valero, O (2011) 'The complexity space of partial functions: a connection between complexity analysis and denotational semantics'. International Journal of Computer Mathematics, 88 :1819-1829 [DOI] [Details] | |
| (2009) | 'An extension of the dual complexity space and an application to Computer Science' Rodriguez-Lopez, J;Schellekens, MP;Valero, O (2009) 'An extension of the dual complexity space and an application to Computer Science'. Topology and Its Applications, 156 :3052-3061 [DOI] [Details] | |
| (2014) | 'Complexity Analysis via Approach Spaces' Colebunders, E,De Wachter, S,Schellekens, M (2014) 'Complexity Analysis via Approach Spaces'. Applied Categorical Structures, 22 :119-136 [DOI] [Details] | |
| (2013) | 'Running time of the Treapsort algorithm' Early, D,Schellekens, M (2013) 'Running time of the Treapsort algorithm'. Theoretical Computer Science, 487 :65-73 [DOI] [Details] | |
| (2006) | 'A Simplified Derivation of Timing Complexity Lower Bounds for Sorting by Comparisons' Michel Schellekens, Rachit Agarwal, Emanuel Popovici, Ka Lok Man; (2006) 'A Simplified Derivation of Timing Complexity Lower Bounds for Sorting by Comparisons'. Nordic Journal of Computing, 13 (4):316-323 [Details] | |
| (2012) | 'The Baire Partial Quasi-Metric Space: A Mathematical Tool for Asymptotic Complexity Analysis in Computer Science' Cerda-Uguet, MA,Schellekens, MP,Valero, O (2012) 'The Baire Partial Quasi-Metric Space: A Mathematical Tool for Asymptotic Complexity Analysis in Computer Science'. Theory of Computing Systems, 50 :387-399 [DOI] [Details] | |
| (2012) | 'Ultra Low Power Asynchronous Charge Sharing Logic' J. Chen, D. Vasudevan, M. Schellekens, E. Popovici (2012) 'Ultra Low Power Asynchronous Charge Sharing Logic'. Journal of Low Power Electronics, 8 (4):526-534 [Details] | |
| (2012) | 'Frugal encoding in reversible MOQA: a case-study for Quicksort' D. Early, A.Gao, M. Schellekens (2012) 'Frugal encoding in reversible MOQA: a case-study for Quicksort'. Lecture Notes In Computer Science, 7581 :85-96 [Details] | |
| (2011) | 'The complexity space of partial functions: a connection between complexity analysis and denotational semantics' Romaguera, S,Schellekens, MP,Valero, O; (2011) 'The complexity space of partial functions: a connection between complexity analysis and denotational semantics'. International Journal of Computer Mathematics, 88 :1819-1829 [DOI] [Details] | |
| (2011) | 'Complexity Spaces as quantitative domains of computation' S. Romaguera, M. P. Schellekens, O. Valero (2011) 'Complexity Spaces as quantitative domains of computation'. Topology and Its Applications, 158(7) (8):853-860 [Details] | |
| (2010) | 'Timing driven power optimisation and power driven timing optimisation of combinational circuits' R. Mehrotra, T. English, E. Popovici, M. Schellekens, S. Hollands (2010) 'Timing driven power optimisation and power driven timing optimisation of combinational circuits'. Journal of Low Power Electronics, 7 (3):364-380 [DOI] [Details] | |
| (2010) | 'MOQA; unlocking the potential of compositional static average-case analysis' Schellekens, MP; (2010) 'MOQA; unlocking the potential of compositional static average-case analysis'. Journal of Logic and Algebraic programming, 79 (1, Sp. Iss. SI):61-83 [DOI] [Details] | |
| (2009) | 'Sorting Algorithms in MOQA' Jacinta Townley, Joseph Manning, Michel Schellekens (2009) 'Sorting Algorithms in MOQA'. Electronic Notes In Theoretical Computer Science, 225 (1):391-404 [Details] | |
| (2009) | 'A Random Bag Preserving Product Operation' Michel Schellekens; (2009) 'A Random Bag Preserving Product Operation'. Electronic Notes in Theoretical Computer Science, 225 :341-360 [DOI] [Details] | |
| (2009) | 'Preface' Anthony Seda and Menouer Boubekeur and Ted Hurley and Micheal Mac an Airchinnigh and Michel Schellekens and Glenn Strong; (2009) 'Preface'. Electronic Notes in Theoretical Computer Science, 225 :1-2 [DOI] [Details] | |
| (2008) | 'Applications of the complexity space to the General Probabilistic Divide and Conquer Algorithms' Garcia-Raffi, L. M. and Romaguera, S. and Schellekens, M. P.; (2008) 'Applications of the complexity space to the General Probabilistic Divide and Conquer Algorithms'. JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 348 (1):346-355 [DOI] [Details] | |
| (2007) | 'Binary Trees Equipped With Semivaluations' Pajoohesh, H, Schellekens, M; (2007) 'Binary Trees Equipped With Semivaluations'. Quaestiones Mathematicae, 30 (2):123-131 [Details] | |
| (2007) | 'SC2SCFL: Automated SystemC to SystemCFL Translation' K. L. Man, A. Fedeli, M. Mercaldi, M. Boubekeur, M. Schellekens (2007) 'SC2SCFL: Automated SystemC to SystemCFL Translation'. Lecture Notes In Computer Science, 4599 :34-45 [Details] | |
| (2006) | 'The Lattice of Binary Trees' Schellekens M., Pajoohesh H.; (2006) 'The Lattice of Binary Trees'. Questiones Mathematicae, Comment: accepted for publication modulo minor revisions, to appear (*):*-* [Details] | |
| (2006) | 'A New Approach for Modular Average-Case Timing of Real-Time Java Programs' M. Boubekeur, D. Hickey, J. McEnery, M. Schellekens (2006) 'A New Approach for Modular Average-Case Timing of Real-Time Java Programs'. WSEAS Transactions On Computers, 1 (2) [Details] | |
| (2006) | 'Information-MFCSIT2006' M. Boubekeur, D. Hickey and M. Schellekens; (2006) 'Information-MFCSIT2006'. Electronic Notes In Theoretical Computer Science, 225 :*-* [Details] | |
| (2006) | 'Partial Quasi-Metrics' Schellekens M., Kunzi H.P., Pajoohesh H.; (2006) 'Partial Quasi-Metrics'. Theoretical Computer Science, 365 (*):237-246 [Details] | |
| (2006) | 'Decision Trees of Algorithms and a Semivaluation to Measure Their Distance' M. O' Keeffe and H. Pajoohesh and M. Schellekens; (2006) 'Decision Trees of Algorithms and a Semivaluation to Measure Their Distance'. Electronic Notes in Theoretical Computer Science, 161 :175-183 [DOI] [Details] | |
| (2005) | 'The relationship between balance and the speed of algorithms' Schellekens M., M. O'Keeffe, H. Pajoohesh; (2005) 'The relationship between balance and the speed of algorithms'. Hadronic Journal, 28 (*):531-558 [Details] | |
| (2005) | 'Partial Metric Monoids and Semivaluation Spaces ' Schellekens M., Romaguera S.; (2005) 'Partial Metric Monoids and Semivaluation Spaces '. Topology and Its Applications, 153 (*):948-962 [Details] | |
| (2004) | 'The correspondence between partial metrics and semivaluations' Schellekens, M; (2004) 'The correspondence between partial metrics and semivaluations'. Theoretical Computer Science, 315 :135-149 [Details] | |
| (2003) | 'Average Merge Time: An Intuitive Interpretation' M. O'Keeffe and M. Schellekens; (2003) 'Average Merge Time: An Intuitive Interpretation'. Electronic Notes in Theoretical Computer Science, 74 :122-133 [DOI] [Details] | |
| (2003) | 'Norm-weightable Riesz Spaces and the Dual Complexity Space' M O'Keeffe and S. Romaguera and M. Schellekens; (2003) 'Norm-weightable Riesz Spaces and the Dual Complexity Space'. Electronic Notes in Theoretical Computer Science, 74 :105-121 [DOI] [Details] | |
| (2003) | 'A Characterization of Partial Metrizability. Domains are Quantifiable' Schellekens M.; (2003) 'A Characterization of Partial Metrizability. Domains are Quantifiable'. Theoretical Computer Science, 305 (1-3):409-432 [Details] | |
| (2002) | 'Quantitative Domain Theory' Schellekens, M; (2002) 'Quantitative Domain Theory'. ERCIM News, 50 [Details] | |
| (2002) | 'Extendible Spaces' Schellekens M.; (2002) 'Extendible Spaces'. Applied General Topology, 3 (2):30-45 [Details] | |
| (2002) | 'On the Yoneda Completion of a Quasi-metric Space' Schellekens M., Kuenzi H.P.; (2002) 'On the Yoneda Completion of a Quasi-metric Space'. Theoretical Computer Science, 276 (1-2):159-194 [Details] | |
| (2002) | 'Duality and Quasi-normability for Complexity Spaces' Schellekens M., Romaguera S.; (2002) 'Duality and Quasi-normability for Complexity Spaces'. Applied General Topology, 3 (1):*-* [Details] | |
| (2001) | 'Weightable quasi-metric semigroups and semilattices' Salvador Romaguera and Michel Schellekens; (2001) 'Weightable quasi-metric semigroups and semilattices'. Electronic Notes in Theoretical Computer Science, 40 :347-358 [DOI] [Details] | |
| (2000) | 'The Quasi-metric of Complexity Convergence' Schellekens M., Romaguera S.; (2000) 'The Quasi-metric of Complexity Convergence'. Questiones Mathematicae, 23 (*):359-374 [Details] | |
| (2000) | 'Cauchy filters and strong completeness of quasi-uniform spaces' M. Schellekens, S. Romaguera ; (2000) 'Cauchy filters and strong completeness of quasi-uniform spaces'. Rostock. Math. Kolloq, 54 [Details] | |
| (2000) | 'The ideal completion is not sequentially adequate' H.P. Künzi and M.P. Schellekens; (2000) 'The ideal completion is not sequentially adequate'. Electronic Notes in Theoretical Computer Science, 35 :87-93 [DOI] [Details] | |
| (1999) | 'Complexity Spaces: Lifting and Directedness' Schellekens, M; (1999) 'Complexity Spaces: Lifting and Directedness'. Topology Proceedings, 22 :403-425 [Details] | |
| (1999) | 'Quasi-metric Properties of Complexity Spaces' Schellekens M., Romaguera S.; (1999) 'Quasi-metric Properties of Complexity Spaces'. Topology and Its Applications, 98 (*):311-322 [Details] | |
| (1999) | 'Weightable Directed Spaces: Partial Metrics = Generalized (E)valuations' S. Brookes, M. Droste, M. Mislove; (1999) 'Weightable Directed Spaces: Partial Metrics = Generalized (E)valuations'. Seminar on Domain Theory and its Applications, [Details] | |
| (1999) | '11th Summer Conference, University of Southern Maine' Schellekens, Ml.; (1999) '11th Summer Conference, University of Southern Maine'. Annals of The New York Academy of Science, :348-363 [Details] | |
| (1998) | 'On the Structure of The Dual Complexity Space: the general case' Schellekens M., Romaguera S.; (1998) 'On the Structure of The Dual Complexity Space: the general case'. Extracta Mathematicae, 13 (*):249-253 [Details] | |
| (1996) | 'On upper weightable spaces' Schellekens, M.; (1996) 'On upper weightable spaces'. Papers on General Topology and Applications, :348-363 [Details] | |
| (1995) | 'The Smyth Completion: A Common Foundation for Denotational Semantics and Complexity Analysis' M. Schellekens; (1995) 'The Smyth Completion: A Common Foundation for Denotational Semantics and Complexity Analysis'. Electronic Notes in Theoretical Computer Science, 1 :535-556 [DOI] [Details] |
Book Chapters
| Year | Publication | |
|---|---|---|
| (2008) | 'Current Trends in Intelligent Systems and Computer Engineering, Lecture Notes in Electrical Engineering Volume 6, 2008, pp 375-394' K.L. Man, M. Schellekens (2008) 'Current Trends in Intelligent Systems and Computer Engineering, Lecture Notes in Electrical Engineering Volume 6, 2008, pp 375-394' In: Oscar Castillo, Li Xu, Sio-Iong Ao (eds). Interoperability of Performance and Functional Analysis for Electronic System Designs in Behavioural Hybrid Process Calculus (BHPC). New York: Springer. [DOI] [Details] |
Edited Books
| Year | Publication | |
|---|---|---|
| (2003) | Proceedings of MFCSIT2000, special issue of the journal Applied Categorical Structures M. Schellekens, T. Seda, D. Spreen (Ed.). (2003) Proceedings of MFCSIT2000, special issue of the journal Applied Categorical Structures Proceedings of MFCSIT2000, special issue of the journal Applied Categorical Structures. Netherlands: Kluwer Academic Press. [Details] | |
| (2000) | Annals of the Marie Curie Fellowship Association 1, 2000 R. Bresin, B. Di Martino, S. Kroener and M. Schellekens (Ed.). (2000) Annals of the Marie Curie Fellowship Association 1, 2000 Annals of the Marie Curie Fellowship Association 1, 2000. EU: EU, Marie Curie Fellowship Association. [Details] | |
| (2002) | Annals of the Marie Curie Fellowship Association 2 R. Bresin, B. Di Martino, S. Kroener and M. Schellekens (Ed.). (2002) Annals of the Marie Curie Fellowship Association 2 Annals of the Marie Curie Fellowship Association 2. EU: EU, Marie Curie Fellowship Association. [Details] |
Conference Publications
| Year | Publication | |
|---|---|---|
| (2012) | IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) J. Chen, D. Vasudevan, E. Popovici, M. Schellekens (2012) Ultra Low Power Booth Multiplier Using Asynchronous Logic IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) [Details] | |
| (2012) | 10th International Conference Of Numerical Analysis And Applied Mathematics A. Gao, A. Hennessy, M. Schellekens (2012) MOQA Min-Max heapify: A Randomness Preserving Algorithm 10th International Conference Of Numerical Analysis And Applied Mathematics [Details] | |
| (2012) | IEEE, MIEL N. Zeinolabedini, D. Vasudevan, E. Popovici, M. Schellekens (2012) Static Average-Case Power Analysis for Sorting Applications IEEE, MIEL [Details] | |
| (2011) | The 13th IEEE International Symposium on Integrated Circuits, ISIC 2011, Singapore D. Vasudevan, N. Zeinolabedini, E. Popovici, and M. Schellekens (2011) Prototyping A Bidirectional Processor Design Based on Reversible Principles The 13th IEEE International Symposium on Integrated Circuits, ISIC 2011, Singapore [Details] | |
| (2011) | The 2nd IEEE International Conference on Networked Embedded Systems for Enterprise Applications, NESEA 2011, Australia W. Horre, D. Hughes, K.L. Man, S. Guan, B. Qian, T. Yu, H. Zhang, Z. Shen, M. Schellekens and S. Hollands (2011) Eliminating Implicit Dependencies in Component Models The 2nd IEEE International Conference on Networked Embedded Systems for Enterprise Applications, NESEA 2011, Australia [Details] | |
| (2011) | 6th International Symposium on Parallel Computing in Electrical Engineering, PARELEC2011 A. Gao, K. Rea, and M. Schellekens (2011) Static Average Case Analysis Fork-Join Framework Programs Based On MOQA Method 6th International Symposium on Parallel Computing in Electrical Engineering, PARELEC2011 [Details] | |
| (2011) | The 14th Euro-Micro International Conference on Digital System Design, Euro-Micro DSD J.Chen, D. Vasudevan, E. Popovici and M. Schellekens (2011) Design of a low Power, Sub-Threshold, Asynchronous Arithmetic Logic Unit using a Bidirectional Adder The 14th Euro-Micro International Conference on Digital System Design, Euro-Micro DSD [Details] | |
| (2010) | ACM International Conference on Computing Frontiers Chen, J; Vasudevan, D; Popovici, E; Schellekens, M; (2010) Reversible Online BIST Using a Bidirectional BILBO ACM International Conference on Computing Frontiers Bertinoro, Italy, [Details] | |
| (2010) | SoCC, IEEE proceedings R. Mehrotra, T. English, E. Popovici, M. Schellekens, S. Hollands (2010) Delay dependent power optimisation of combinational circuits using And-Inverter graphs SoCC, IEEE proceedings [Details] | |
| (2010) | The 17th IEEE international conference on Electronics, Circuits and Systems, ICECS 2010 J. Chen, D. Vasudevan, E. Popovici and M. Schellekens; (2010) Design and Analysis of a Novel 8T SRAM with adiabatic and non-adiabatic operations The 17th IEEE international conference on Electronics, Circuits and Systems, ICECS 2010 Athens, Greece, [Details] | |
| (2010) | IEEE MIEL R. Mehrotra, E. Popovici, K.L. Man, M. Schellekens; (2010) Power reduction and technology mapping of digital circuits using AND Inverter Graphs IEEE MIEL [Details] | |
| (2010) | The 13th EUROMICRO Conference on Digital System Design Ye, T; Vasudevan, D; Chen, J; Popovici, E; Schellekens, M; (2010) Static Average Case Power Analysis for Block Ciphers The 13th EUROMICRO Conference on Digital System Design Lille, France, [Details] | |
| (2010) | Reversible Computing Workshop Vasudevan, D; Popovici, E; Schellekens, M; (2010) An Empirical Study on Area, Power and Delay of a Class of Reversible Circuits in CMOS Reversible Computing Workshop Bremen, Germany, [Details] | |
| (2009) | 20th Irish Signals and Systems Conference (ISSC) M. Goudarzi, J. Chen, D. Vasudevan, E. Popovici, M. Schellekens; (2009) Reversing Deterministic Finite State Machines 20th Irish Signals and Systems Conference (ISSC) [Details] | |
| (2009) | preliminary proceedings of the Reversible Computing Workshop-RC2009, a satellite workshop of ETAPS 2009 M. Schellekens, D. Early, E. Popovici, D. Vasudevan; (2009) A high level reversible language for modular average case analysis preliminary proceedings of the Reversible Computing Workshop-RC2009, a satellite workshop of ETAPS 2009 [Details] | |
| (2009) | 5th IEEE International Conference on PhD Research in Microelectronics and Electronics (PRIME 2009) T. English, K.L. Man, E. Popovici; (2009) A Switching Activity Analysis and Visualisation Tool for Power Optimisation of SoC Buses 5th IEEE International Conference on PhD Research in Microelectronics and Electronics (PRIME 2009) Cork, [Details] | |
| (2009) | IEEE SCS 2009 R. Mehrotra, K. L. Man, E. Popovici, M. Schellekens; (2009) Data structure manipulation for NNIG and PTNNIG: towards a unified power and timing analysis IEEE SCS 2009 [Details] | |
| (2009) | 9th Conference on Computational and Mathematical Methods on Science and Engineering CMMSE-2009 O. Valero, M. Schellekens, S. Romaguera; (2009) The complexity space of partial functions: A connection between Complexity Analysis and Denotational Semantics (short version) 9th Conference on Computational and Mathematical Methods on Science and Engineering CMMSE-2009 Gijón, Spain, [Details] | |
| (2009) | Asian Symposium on Quality Electronic Design (ASQED 2009) D. Vasudevan, M. Goudarzi, J. Chen, E. Popovici, M. Schellekens ; (2009) A Reversible MIPS Multi-cycle Control FSM Design Asian Symposium on Quality Electronic Design (ASQED 2009) Kuala Lumpur, Malaysia, [Details] | |
| (2009) | 22nd IEEE International SOC Conference T. English, M. Keller, K.L. Man, E. Popovici, M. Schellekens, W.; (2009) A Low-power Pairing-based Cryptographic Accelerator for Embedded Security Applications 22nd IEEE International SOC Conference Belfast, Northern Ireland, [Details] | |
| (2009) | 12th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing M. Schellekens, D. Early, E. Popovici; (2009) Designing Software for Modular Static Average-Case Analysis, First International Workshop on Software Technologies for Future 12th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing Tokyo, Japan, , 17-MAR-09 - 19-MAR-09 [Details] | |
| (2009) | Electronic Notes in Theoretical Computer Science Thierry Vallee, Joseph Manning (2009) Reconstruction of Partial Orders and List Representation as Random Structures Electronic Notes in Theoretical Computer Science [Details] | |
| (2009) | Electronic Notes in Theoretical Computer Science Jacinta Townley, Joseph Manning, Michel Schellekens (2009) Sorting Algorithms in MOQA Electronic Notes in Theoretical Computer Science [Details] | |
| (2009) | Mathematical Foundations of Computer Science and IT, Cork, joint with the international conference Information M. Schellekens; (2009) A Random Bag Preserving Product Operation Mathematical Foundations of Computer Science and IT, Cork, joint with the international conference Information Japan, [Details] | |
| (2008) | IEEE ISOCC R. Mehrotra, T. English, K.L. Man, E. Popovici, M. Schellekens (2008) An Efficient Power Estimation and Optimisation Design Flow of Digital Circuits IEEE ISOCC [Details] | |
| (2008) | 5th IEEE International SoC Design Conference - IEEE/ISOCC'08, Busan, Korea R. Mehrotra, T. English, K.L. Man, E. Popovici, M. Schellekens (2008) Digital Power Estimation Flow Combining Academic and Industrial Tools 5th IEEE International SoC Design Conference - IEEE/ISOCC'08, Busan, Korea [Details] | |
| (2008) | 6th IEEE East-West Design and Test International Symposium - IEEE/EWDTS'08, Lviv, Ukraine T. English, K. L. Man, E. Popovici, M. Schellekens (2008) HotSpot : Visualising Dynamic Power Consumption in RTL Designs [Best Paper Award] 6th IEEE East-West Design and Test International Symposium - IEEE/EWDTS'08, Lviv, Ukraine [Details] | |
| (2007) | Formal Verification of Mutual Exclusion Between The Guards of Deterministic Choice Structures Boubekeur, M, Man, KL, Schellekens, MP; (2007) 2007 Canadian Conference On Electrical and Computer Engineering, CCECE07 Vancouver Formal Verification of Mutual Exclusion Between The Guards of Deterministic Choice Structures , pp.1417-1420 [Details] | |
| (2007) | Mathematical Modelling of Digital Hardware Systems in Timed Chi K. L. Man, M. Schellekens (2007) 26th IASTED International Conference on Modelling, Identification and Control, (MIC 2007), Innsbruck, Austria Mathematical Modelling of Digital Hardware Systems in Timed Chi [Details] | |
| (2007) | Process Algebraic Approach to SystemVerilog K. Man, M. Boubekeur, M. Schellekens (2007) 20th IEEE Canadian Conference on Electrical and Computer Engineering (CCECE 2007) Process Algebraic Approach to SystemVerilog [Details] | |
| (2007) | Contraction maps on complexity spaces and ExpoDC algorithms S. Romaguera, M. Schellekens, P. Tirado, O. Valero (2007) International Conference on Computational Methods in Science and Engineering 2007 (ICCMSE 2007) Computation in Modern Science and Engineering, AIP Conference Proceedings Contraction maps on complexity spaces and ExpoDC algorithms , pp.1343-1346 [Details] | |
| (2007) | 14th IEEE International Conference on Electronics, Circuits and Systems M. Boubekeur and M. Schellekens; (2007) Automatic Optimization Techniques for Formal Verification of Asynchronous Circuits 14th IEEE International Conference on Electronics, Circuits and Systems [Details] | |
| (2007) | Analysis of a Mixed-Signal Circuit in Hybrid Process Algebra ACPsrths K.L. Man and M.P. Schellekens (2007) International MultiConference of Engineers and Computer Scientists, Hong Kong Analysis of a Mixed-Signal Circuit in Hybrid Process Algebra ACPsrths [Details] | |
| (2007) | Towards Fast and Accurate Static Average-Case Performance Analysis of Embedded Systems: The MOQA Approach M. Schellekens, R. Agarwal, A. Fedeli, Y. F. Lam, K. L. Man, M. Boubekeur and E. Popovici (2007) 5th IEEE East-West Design and Test International Symposium Towards Fast and Accurate Static Average-Case Performance Analysis of Embedded Systems: The MOQA Approach [Details] | |
| (2007) | Contraction maps on complexity spaces and ExpoDC algorithms S. Romaguera, M. Schellekens, P. Tirado, O. Valero (2007) International Conference on Computational Methods in Science and Engineering 2007 (ICCMSE 2007) Contraction maps on complexity spaces and ExpoDC algorithms [Details] | |
| (2006) | Information-MFCSIT 2006 M. Boubekeur, D. Hickey and M. Schellekens; (2006) Evaluation of MOQA Average-Case Timing Results on a Real Time Platform . In: * eds. Information-MFCSIT 2006 Cork, , 01-AUG-06 - 05-AUG-06 , pp.*-* [Details] | |
| (2006) | MFCSIT M. Schellekens; (2006) Modular Timing; An overview of CEOL research . In: * eds. MFCSIT Cork, , 01-AUG-06 - 05-AUG-06 , pp.*-* [Details] | |
| (2006) | Proceedings of Information-MFCSIT'06 L. Li, F. Ren, T. Hurley, V. Komendantsky, M. Mac an Airchinnigh, M. Schellekens, A.K. Seda, G. Strong, D. Woods ; (2006) Proceedings of Information-MFCSIT'06 [Details] | |
| (2006) | IEEE East-West Design & Test Workshop EWDTW, Sochi, Russia K. L. Man, Andrea Fedeli, Michele Mercaldi, M. Schellekens (2006) SystemCFL: An Infrastructure for a TLM Formal Verification Proposal (with an overview on a tool set for practical formal verification of SystemC descriptions) IEEE East-West Design & Test Workshop EWDTW, Sochi, Russia [Details] | |
| (2006) | IEEE International Soc Design Conference (ISOCC) K.L. Man , M.P. Schellekens, M. Boubekeur; (2006) Formal Specification and Analysis of Analog and Mixed-Signal Circuits Using Process Algebras for Hybrid Systems (with a focus on hybrid process algebra $\ACPBM$) . In: * eds. IEEE International Soc Design Conference (ISOCC) Seoul, Korea, October, 2006, , 26-OCT-06 - 27-OCT-06 , pp.*-* [Details] | |
| (2006) | Towards Modular Average-Case Timing in Real-Time Languages: An Application to Real-Time Java M. Boubekeur, D. Hickey, J. Mc Enery and M. Schellekens; (2006) 6th WSEAS . In: * eds. Towards Modular Average-Case Timing in Real-Time Languages: An Application to Real-Time Java Tenerife, Spain, December 2006, , 16-DEC-06 - 18-DEC-06 , pp.*-* [Details] | |
| (2004) | Mathematical Foundations of Computer Science and IT Schellekens M., O'Keeffe M., Pajoohesh H.; (2004) Decision Trees of Algorithms and a Semivalaluation to measure their distance . In: * eds. Mathematical Foundations of Computer Science and IT Dublin, Trinity College, , 22-JUL-04 - 23-JUL-04 , pp.*-* [Details] | |
| (2004) | Annual Scientific Meeting of Moscow Engineering Physics Institute, Thesis for Scientific Conference MEPhI-2004 A. Uskova, M. Van Dongen; (2004) Solving Recurrence Relations using Generating Functions Annual Scientific Meeting of Moscow Engineering Physics Institute, Thesis for Scientific Conference MEPhI-2004 , pp.95-96 [Details] | |
| (2004) | Proceedings of the Annual Scientific Meeting of Moscow Engineering Physics Institute Schellekens Ml, Uskova A.A., van Dongen M.; (2004) Solving Recurrence Relations using Generating Functions . In: Thesis for Scientific Conference MEPhI - 2004, Vol. 2, Software and Informational Technologies, MEPhI press, 2004 eds. Proceedings of the Annual Scientific Meeting of Moscow Engineering Physics Institute *, , 01-JAN-04 - 01-JAN-04 , pp.95-96 [Details] | |
| (2004) | IEEE Real-Time Systems Symposium - WIP Session M. Schellekens, G. Bollella, D. Hickey (2004) MOQA, a Linearly-Compositional Programming Language for (semi-) automated Average-Case analysis IEEE Real-Time Systems Symposium - WIP Session [Details] | |
| (2002) | * Schellekens, Ml.; (2002) Quantitative Domain Theory . In: ERCIM News No.50, July 2002 eds. * *, , 01-JUL-02 - 01-JUL-02 , pp.*-* [Details] | |
| (1999) | Seminarberichte Fach. Math. FernUniv Schellekens Ml, Romaguera S.; (1999) A note on completeness of the complexity space . In: Hagen 66, 1999 eds. Seminarberichte Fach. Math. FernUniv *, , 30-DEC-99 - 30-DEC-99 , pp.99-105 [Details] | |
| (1999) | Proceedings Prague Topology Symposium Schellekens, Ml.; (1999) Complexity Spaces Revisited . In: Topology Atlas 1997 eds. Proceedings Prague Topology Symposium *, , 30-DEC-99 - 30-DEC-99 , pp.337-348 [Details] | |
| (1999) | Seminar on Domain Theory and its Applications, Schloss Dagstuhl Schellekens Ml.; (1999) Weightable Directed Spaces: Partial Metrics = Generalized (E) valuations . In: Dagstuhl Seminar Report 209, Editors: S. Brookes, M. Droste, M. Mislove 1999 eds. Seminar on Domain Theory and its Applications, Schloss Dagstuhl *, , 30-DEC-99 - 30-DEC-99 , pp.*-* [Details] | |
| (1999) | Proceedings 3rd irish Workshop on Formal methods (IWFM'99), Electronic Workshops in Computing Schellekens, Ml.; (1999) Valuations Revisited . In: British Computer Science Socoety, 1999 eds. Proceedings 3rd irish Workshop on Formal methods (IWFM'99), Electronic Workshops in Computing *, , 30-DEC-99 - 30-DEC-99 , pp.1-8 [Details] |
Published Reports
| Year | Publication | |
|---|---|---|
| (2004) | A survey of topological work at CEOL (Invited Contribution). H. Pajoohesh, M. Schellekens (2004) A survey of topological work at CEOL (Invited Contribution). York University, Canada, Online resource for mathematicians. [Details] |
Professional Activities
Honours and Awards
| Year | Title | Awarding Body | |
|---|---|---|---|
| 2012 | Member Management Committee, EU ICT COST Action IC1202 | EU FP7 | |
| 2009 | Invited paper, STFSSD 2009-IEEE ISORC 2009, Tokyo | STFSSD conference, Invited paper at special session on "Temporal Predictability and Composability in Embedded Systems" for the STFSSD 2009 workshop, which is co-located with IEEE ISORC 2009, Tokyo, on March 17, 2009. | |
| 2008 | Science Foundation Ireland (SFI), Principal Investigator Award. | SFI | |
| 2003 | Plenary Speaker V-th IberoAmerican Conference on Topology and its Applications | V-th IberoAmerican Conference on Topology and its Applications | |
| 2007 | IDA, Industrial Development Agency/Synopsys, Co-PI Award | IDA | |
| 2006 | Invited delegation member to SFI workshop in Beijing China | SFI | |
| 2006 | SFI Advisory Board Member, Frontiers of Engineering and Science Funding Programme (FES,SFI) | SFI | |
| 2006 | Invited Speaker, International Symposium on Domain Theory, Hunan, China | ISDT | |
| 2005 | Invited Research Professor University Denis-Diderot, Paris 7 | University Denis-Diderot, Paris 7 | |
| 2004 | Science Foundation Ireland Investigator Industrial Collaboration Award | Science Foundation Ireland | |
| 2003 | SFI Investigator award | ||
| 2003 | Science Foundation Ireland Investigator Award | Science Foundation Ireland | |
| 2001 | DAAD Scholarship Award for Faculty, German Academic Exchange Service | Schloss Dagstuhl | |
| 1998 | Invited presentation at 13th Summer Conference on Topology and its Applications, special session on applications to Computer Science | Summer Conference on Topology and its Applications | |
| 1997 | Invited Presentation at 12th Summer Conference on Topology and its Applications, special session on applications to Computer Science | Summer Conference on Topology and its Applications | |
| 1996 | Marie Curie Fellowship, EUROFOCS Award, | EU, EUROFOCS | |
| 1995 | Invited Presentation at 10th Summer Conference on Topology and its Applications | Summer Conference on Topology and its Applications | |
| 1998 | Free University of Brussels (VUB), Research Council Award | VUB Research Council | |
| 2001 | Editor (Information Science) Journal ``Annals of the Marie Curie Fellowship Association'' (2001 - 2005) | Annals MCFA, EU | |
| 2015 | Member Managment Committee European Cost action IC1405, Reversible Computing | EU/COST | |
| 2011 | Editor IJDATICS | IJDATICS | |
| 2006 | Industry Supplement Award, SFI. Collaboration project between CEOL and Sun Microsystems, RTSJ group headed by Distinguished Engineer, Dr. Greg Bollella. | SFI | |
| 2006 | SFI RFP Committee Chair | SFI | |
| 2001 | International Collaboration Award, Enterprise Ireland and Travel Award from the Vice President for Research at UCC. | EI/UCC VP for Research | |
| 2001 | Royal Irish Academy, Royal Society Exchange Scheme Award | RIA | |
| 2002 | Project Leader, Boole Centre for Research in Informatics. | HEA PRTLI3 | |
| 1997 | Award from Flemish Science Foundation NFWO | NFWO | |
| 2005 | Third level IT Council Member, Digital Depot, Dublin. Council of Heads of Department/Professors in Ireland to coordinate university policy on Computer Science. | Third Level IT Council | |
| 2005 | SFI RFP ICT Committee Chair | SFI | |
| 2000 | Editor (Topology in CS), Journal ``Applied General Topology'' | Journal AGT | |
| 2005 | Industry Research Partnership Program Award SFI. Collaboration with Sun Microsystems, RTSJ group headed by Dr. Greg Bollella. | SFI | |
| 2014 | Invited Speaker | ACT V |
Patents
| Patent Number | Title | Granted | |
|---|---|---|---|
| NATI42/C/IE WO | A data processing system and method | 15-FEB-06 |
Conference Contributions
| Year | Publication | |
|---|---|---|
| (2014) | ACT V, Michel Schellekens (2014) Invited Speaker. [Invited Lectures (Workshops)], ACT V, Brussels, VUB , 02-SEP-14 - 05-SEP-14. [Details] | |
| (2014) | IAENG International Conference on Electrical Engineering (ICEE'14) , Schellekens, M. (2014) PC member, special DATICS session, http://www.iaeng.org/IMECS2014/ICEE_main.html. [Conference Organising Committee Member], IAENG International Conference on Electrical Engineering (ICEE'14) , Hong Kong , 12-MAR-14 - 14-MAR-14. [Details] | |
| (2014) | ISROC14 in conjunction with SEUS 2014, SORT 2014, and RT-CPS 2014, M. Schellekens (2014) PC member, 17th IEEE Computer Society symposium dealing with the rapidly expanding field of object/component/service-oriented real-time distributed computing (ORC) technology. The principal theme of ISORC is the use of the object, component, and service-oriented computing paradigms - which has prevailed in many non-real-time applications in the past decade - in a wide variety of real-time applications. http://www.isorc2014.org/organizers.html. [Conference Organising Committee Member], ISROC14 in conjunction with SEUS 2014, SORT 2014, and RT-CPS 2014, Reno Nevada USA , 08-JUN-14 - 12-JUN-14. [Details] | |
| (2013) | DATICS Workshop IMECS 2013, Schellekens, M. (2013) WORKSHOP IN THE INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER SCIENTIESTS 2013 (IMECS 2013) The IMECS 2013 is organized by the International Association of Engineers (IAENG), a non-profit international association for the engineers and the computer scientists. The conference has the focus on the frontier topics in the theoretical and applied engineering and computer science subjects. The IMECS conferences serve as good platforms for our members and the entire engineering community to meet with each other and to exchange ideas. http://www.iaeng.org/IMECS2013. [Conference Organising Committee Member], DATICS Workshop IMECS 2013, Hong Kong , 13-MAR-13 - 15-MAR-13. [Details] | |
| (2012) | Fourth workshop on reversible computing, Schellekens M. (2012) PC member, Reversible computation has a growing number of promising application areas such as low power design, coding/decoding, program debugging, testing, database recovery, discrete event simulation, reversible algorithms, reversible specification formalisms, reversible programming languages, process algebras, and the modeling of biochemical systems. Furthermore, reversible logic provides a basis for quantum computation with its applications, for example, in cryptography and in the development of highly efficient algorithms. First reversible circuits and quantum circuits have been implemented recently and are seen as promising alternatives to conventional CMOS technology. The workshop will bring together researchers from computer science, mathematics, and electrical engineering to discuss new developments and directions for future research in Reversible Computation. This also includes applications in quantum computing. http://www.haskell.org/pipermail/haskell/2012-June/023356.html. [Conference Organising Committee Member], Fourth workshop on reversible computing, Copenhagen, Denmark http://www.reversible-computation.org , 02-JUL-14 - 03-JUL-14. [Details] | |
| (2012) | EU COST action TACLe, Schellekens, M. (2012) Managment Committee Member, COST is an intergovernmental framework for European Cooperation in Science and Technology, allowing the coordination of nationally-funded research on a European level. TACLe, TIMING ANALYSIS ON CODE-LEVEL, http://tacle.knossosnet.gr/. [Conference Organising Committee Member], EU COST action TACLe, EU/COST action , 07-NOV-12 - 06-NOV-16. [Details] | |
| (2011) | DATICS-NESEA11, Workshop in the 2nd IEEE International Conference on Networked Embedded Systems for Enterprise Applications (NESEA 2011), Schellekens, M. (2011) PC member, DATICS workshop. http://www.nesea-conference.org/2011/. [Conference Organising Committee Member], DATICS-NESEA11, Workshop in the 2nd IEEE International Conference on Networked Embedded Systems for Enterprise Applications (NESEA 2011), Perth, Australia , 08-DEC-11 - 09-DEC-11. [Details] | |
| (2010) | DATICS-IMECS’10, Schellekens, M. (2010) PC member, Workshop in the IAENG IMECS Conference The International MultiConference of Engineers and Computer Scientists 2010 (IMECS 2010) is organised by the International Association of Engineers (IAENG), a non-profit international association for engineers and computer scientists. IAENG IMECS 2010 will take place in Hong Kong, 17-19 March, 2010. URL: http://www.iaeng.org/IMECS2010. [Conference Organising Committee Member], DATICS-IMECS’10, Hong Kong , 17-MAR-10 - 19-MAR-10. [Details] | |
| (2008) | FICS 2008, The First International Conference on Foundations of Informatics, Computing, and Software, Schellekens, M. (2008) PC member, Foundations of Informatics, Computing and Software (FICS) is a new conference aimed at being one of the leading conferences in theory, methodologies and systems spanning several emerging areas of computer science, such as programming languages, software engineering, verification and informatics (bio, medical). http://mailman.cs.umn.edu/archives/twin-spin/2007-November/000163.html. [Conference Organising Committee Member], FICS 2008, The First International Conference on Foundations of Informatics, Computing, and Software, Campus of East China Normal University (ECNU), Shanghai, China , 03-JUN-08 - 06-JUN-08. [Details] | |
| (2008) | Parallel Computing in Electrical Engineering DTVCS 2008 - Design, Testing and Formal Verification Techniques for Integrated Circuits and Systems, Schellekens, M. (2008) PC member, DTVCS 2008, Special Session in the IASTED International Conference on Circuits and Systems (CS 2008) The IASTED International Conference on Circuits and Systems (CS 2008) took place in Kailua-Kona, Hawaii, USA, August 18-20, 2008. URL: http://www.iasted.org/conferences/cfp-625.html. [Conference Organising Committee Member], Parallel Computing in Electrical Engineering DTVCS 2008 - Design, Testing and Formal Verification Techniques for Integrated Circuits and Systems, Kailua-Kona, Hawaii, USA , 18-AUG-08 - 20-AUG-08. [Details] | |
| (2006) | Information-MFCSIT'06, Schellekens, M. (2006) Member Joint Steering Committee, The Fourth International Conference on Information, Information'06, and the Fourth Irish Conference on the Mathematical Foundations of Computer Science and Information Technology'06, MFCSIT'06, will be co-located on the campus of the National University of Ireland, Cork (NUI, Cork) http://www.cs.nyu.edu/pipermail/fom/2006-March/010278.html. [Conference Organising Committee Member], Information-MFCSIT'06, UCC , 01-AUG-06 - 05-AUG-06. [Details] | |
| (2006) | International Symposium on Domain Theory, Hunan, China June 2006, ISDT, Schellekens, M. (2006) http://newton.cwru.edu/ISDT06.html#speaker. [Invited Lectures (Conference)], International Symposium on Domain Theory, Hunan, China June 2006, ISDT, Hunan, China . [Details] | |
| (2004) | Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, Schellekens, M; (2004) . [Conference Organising Committee Member], Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, Trinity College, Dublin , 22-JUL-04 - 23-JUL-04. [Details] | |
| (2004) | 2nd International Symposium on Parallel and Distributed Processing and Applications (ISPA'2004), Schellekens, M. (2004) PC member, With the advance of computer networks and hardware technology, parallel and distributed processing has become a key technology which plays an important part in determining future research and development activities in many academic and industrial branches. Following the success of the first conference ISPA'03, held in Aizu-Wakamatsu City, Japan, ISPA'04 will provide a forum for scientists and engineers in academia and industry to exchange and discuss their experiences, new ideas, research results, and applications about all aspects of parallel and distributed computing. ISPA'04 will feature session presentations, workshops, and keynote speeches. http://www.comp.polyu.edu.hk/ISPA04. [Conference Organising Committee Member], 2nd International Symposium on Parallel and Distributed Processing and Applications (ISPA'2004), Hong Kong, China , 13-DEC-04 - 15-DEC-04. [Details] | |
| (2003) | Plenary Speaker V-th IberoAmerican Conference on Topology and its Applications, Schellekens, M. (2003) Plenary speaker at the conference, for fundamental contributions to models of computation/domain theory. [Plenary Lecture], Plenary Speaker V-th IberoAmerican Conference on Topology and its Applications, Spain . [Details] | |
| (2002) | Second Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, Schellekens, M; (2002) . [Conference Organising Committee Member], Second Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, National University of Ireland, Galway , 18-JUL-02 - 19-JUL-02. [Details] | |
| (2000) | First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, Schellekens, M; (2000) . [Conference Organising Committee Member], First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, National University of Ireland, Cork , 20-JUL-00 - 21-JUL-00. [Details] | |
| (1988) | Domains IV Workshop, D. Spreen, R. Greb, M. Schellekens, H. Schulz; (1988) The Workshop on Domains is aimed at computer scientists and mathematicians alike who share an active interest in the mathematical foundations of computer science. The workshop will focus on domains, their applications and closely related topics, e.g. axiomatic and synthetic domain theory. In particular, contributions establishing connections to type theory, recursion theory and topology are welcome. [Conference Organising Committee Member], Domains IV Workshop, Bonn , 02-OCT-88 - 04-OCT-88. [Details] |
Committees
| Committee | Function | From / To | |
|---|---|---|---|
| RFP-SFI ICT panel preproposal evaluations | Panelist on ICT panel | 2004 / 2004 | |
| RFP-SFI ICT panel full proposal evaluations | Chair of ICT panel | 2005 / 2005 | |
| RFP-SFI ICT panel preproposals | Chair of ICT panel | 2005 / 2005 | |
| 3d Level Forum meeting | Member of discussion panel headed by Seamus Gallen EI | 2005 / 2005 | |
| 3d Level Forum meeting | Member of committee headed by Seamus Gallen, EI | 2005 / 2005 | |
| OIP steering committee | Science Faculty Research Committee representative and input on Software aspects | 2005 / 2005 | |
| Departmental Research Officer | Departmental Research Officer | 2005 / 2005 | |
| Science Faculty Research Committee | Member of committee | 2005 / 2006 | |
| Departmental reseach committee | Chair | 2001 / 2003 | |
| SFI FES Directorate Advisory Committee Invited to become member on March 21 2006 | Meets twice a year, for 4-5 hours each meeting. Role of Advisory Committee: provide input and advise on the operation and future plans for the FES (RFP) Directorate from a group of distinguished scientists. | 2006 / 2007 | |
| Second International Symposium on Parallel and Distributed Processing and Applications (ISPA '2004) | 2004 / 2004 |
Employment
| Employer | Position | From / To | |
|---|---|---|---|
| University College Cork | Professor (2), Department of Computer Science | / | |
| University College Cork | Senior Lecturer, Department of Computer Science | 01-JAN-00 / 01-JAN-06 | |
| University College Cork | Lecturer, Department of Computer Science | 01-JAN-98 / 01-JAN-00 | |
| University of Siegen | Post Doc | 01-JAN-97 / 01-JAN-98 | |
| Imperial College London, Theory and Formal Methods Section of the Department of Computing | Marie Curie Fellow, EUROFOCS Project | 01-JAN-96 / 01-JAN-97 |
Languages
| Language | Reading | Writing | Speaking | |
|---|---|---|---|---|
| Flemish (Dutch) | Fluent | Fluent | Fluent | |
| English | Fluent | Fluent | Fluent | |
| French | Fluent | Functional | Fluent | |
| German | Fluent | Functional | Fluent |
Outreach Activities
| Description | |
|---|---|
Project: Storytellers bring Science to Primary School Children. Wrote the story, coordinated the show with four storytellers and funded the show executions through ESOF support agh UCC's Aula Max, and Dublin's National Museum. http://www.ceol.ucc.ie/story/index.html | |
Conversations on George Boole: the legacy in logic, mathematics, computer science and engineering UCC media (Stephen Bean) and Michel Schellekens will film a series of interviews with experts, focused on George Boole’s legacy. The Boole Year (and in particular the bicentennial celebrations: August 2015) provides a unique opportunity to record the scientific legacy of George Boole for future generations, the tremendous current impact of Boole’s work and the speculations on the future impact of his work by peers. The execution will take place via a series of in depth interviews with specialists, recorded via five chapters of a fifty minutes recording. The goal is to provide a record of Boole’s scientific legacy that can serve an audience of scientists, students and those members of the public interested in an in depth analysis of a vital aspect of the history of Logic, Mathematics, Philosophy, Computer Science and Engineering. General questions posed in the interviews will lead to a product that will capture the excitement of Boole’s work. This will be complemented by peer-to-peer questions pro- viding key insights from specialists, on the history of Boole’s work, the controversies surrounding it as well as the tremendous impact Boole’s work has today. |
Other Activities
| Description | |
|---|---|
External Examiner PhD theses: • PhD Thesis “Run Time Detection of Timing Errors in Real-Time Systems”, Osmar Marchi dos Santos, Defense took place on February 15 at University of York. • PhD Thesis “A static Analysis Framework for Security Properties in Mobile and Cryptographic Systems”, Benjamin Aziz, School of Computing, Dublin City University, Aug. 28, 2003. • MSc Thesis “Compatibiliteit van orde en topologie in het kader van geordende extensies”, An Vandevoorde, VUB, June 1997. |
Teaching Activities
Teaching Interests
Recent Postgraduates
| Graduation Year | Student Name | Institution | Degree Type | Thesis Title | |
|---|---|---|---|---|---|
| 2010 | Diarmuid Early | UCC | PHD | A Mathematical Investigation of the MOQA language | |
| 2012 | Kenneth Rea | UCC | MSc | Explorations on Parallel Programming and Extensions of the MOQA Theory | |
| 2013 | Ang Gao | UCC | PHD | Modular average case analysis: Language implementation and extension | |
| 2013 | Bichen Shi | UCC | MSc | A Machine Learning Approach For Estimating Smoothed Complexity Of Sorting Algorithms | |
| 2013 | Sarah De Wachter | UCC | PHD | Fixed point theorems via quantifying approach spaces on domains | |
| 2008 | Dave Hickey | UCC | PHD | Dave Hickey, 2003 - 2008, PhD title: DISTRI-TRACK, an average-case timing tool for MOQA. | |
| 2008 | Guo Xiaohua | UCC | MSc | ACET Based Scheduling for Soft Real-Time Systems | |
| 2008 | Maria O'Keeffe | UCC | PHD | The extended balance order—a new model of decision tree balance and its application in linking algorithmic design to performance times | |
| 2004 | Michaela Heyer | NUI (UCC) | MSc | Special Binary Search Trees | |
| 2008 | Rachit Agarwal | UCC | MSc | MOQA principles in hardware design for improved power anal- ysis |