| 2023 | Executive Committee Member and Program Chair of the Design, Automation & Test in Europe (DATE) |
| 2022 | Executive Committee Member and Special Session/Tutorial Chair of the International Conference on Computer-Aided Design (ICCAD) |
| 2022 | PhD Forum Chair of the Design Automation Conference (DAC) |
| Since 2022 | Vice Chair of the European Design and Automation Association |
| 2022 | Executive Committee Member and Vice Program Chair of the Design, Automation & Test in Europe (DATE) |
| 2021 | Executive Committee Member and Workshop Chair of the International Conference on Computer-Aided Design (ICCAD) |
| 2021 | Executive Committee Member and PhD Forum Chair of the Design, Automation & Test in Europe (DATE) |
| 2020 | Chair of the ACM Student Research Competition at ICCAD |
| 2020 | Executive Committee Member and PhD Forum Chair of the Design, Automation & Test in Europe (DATE) |
| 2019 | Co-Chair of the ACM Student Research Competition at ICCAD |
| 2019 | Executive Committee Member and PhD Forum Chair of the Design, Automation & Test in Europe (DATE) |
| 2018 | General Chair of the International Symposium on Multiple-Valued Logic (ISMVL) |
| 2018 | General Chair of the International Workshop on Logic & Synthesis (IWLS) |
| 2018 | Executive Committee Member and Special Day Chair of the Design, Automation & Test in Europe (DATE) |
| 2017 | Publication Chair and Member of the Organizing Committee for the International Summer Simulation Multi-Conference (SummerSim'17) |
| 2017 | Organizer of the NII Shonan Meeting on "Microfluidic Biochips: Bridging Biochemistry with Computer Science and Engineering" |
| 2016 | Publicity Chair and Member of the Organizing Committee for the International High-Level Design Validation and Test Workshop (HLDVT) |
| 2016 | Vice Chair of the Multiple-Valued Logic Technical Committee of the IEEE Computer Society |
| 2016 | General Chair of the Forum on specification & Design Languages (FDL) |
| 2016 | Special Sessions Co-Chair at the International Workshop on Logic & Synthesis (IWLS) |
| 2016 | Publicity Chair and Member of the Organizing Committee for the International Conference on VLSI Design and the International Conference on Embedded Systems |
| 2015 | Organizer of the Dagstuhl Seminar on "Design of Microfluidic Biochips: Connecting Algorithms and Foundations of Chip Design to Biochemistry and the Life Sciences" |
| 2012 | Publicity Chair and Member of the Organizing Committee at the International Symposium on Multiple-Valued Logic (ISMVL) |
| 2011 | Organizer of the Dagstuhl Seminar on "Design of Reversible and Quantum Circuits" |
| 2010 | Organizer of the Workshop on Reversible Computation (RC) |
| 2023 | Design, Automation & Test in Europe (DATE) |
| 2017 | International Workshop on Logic & Synthesis (IWLS) |
| 2016 | International Symposium on Multiple-Valued Logic (ISMVL) |
| 2015 | Forum on specification & Design Languages (FDL) |
| 2014 | International Symposium on Multiple-Valued Logic (ISMVL) |
| 2011 | Workshop on Reversible Computation (RC) |
| 2023 |
Asia and South Pacific Design Automation Conference (ASP-DAC) (for "Emerging Devices, Technologies and Applications") |
| 2021 |
International Conference on Computer-Aided Design (ICCAD) (for "3.2 Nanoscale and Post-CMOS Systems") |
| 2021 |
Design, Automation and Test in Europe (DATE) (for "Applications of Emerging Technologies") |
| 2021 |
Asia and South Pacific Design Automation Conference (ASP-DAC) (for "Emerging Technologies and Applications") |
| 2020 |
International Conference on Computer-Aided Design (ICCAD) (for "4.2 Nanoscale and Post-CMOS Systems") |
| 2020 |
Design, Automation and Test in Europe (DATE) (for "Applications of Emerging Technologies") |
| 2020 |
Asia and South Pacific Design Automation Conference (ASP-DAC) (for "Emerging Technologies and Applications") |
| 2015 |
Asia and South Pacific Design Automation Conference (ASP-DAC) (for "Logic/Behavioral/High-Level Synthesis and Optimization") |
| 2014 |
Asia and South Pacific Design Automation Conference (ASP-DAC) (for "High-Level/Behavioral/Logic: Synthesis and Optimization") |
| since 2018 | Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD) |
| since 2018 | Integration, the VLSI journal |
| 2022 | Special Issue on "Design Automation for Quantum Computing" at the ACM Journal on Emerging Technologies in Computing Systems (JETC) |
| 2016 | Book covering selected contributions from the Forum on specification & Design Languages (FDL) published at Springer |
| 2015 | Special Issue covering the Best Papers of the 44th International Symposium on Multiple-Valued Logic at the Journal of Multiple-Valued Logic and Soft Computing (JMVLSC) |
| 2015 | Special Issue on "Multiple-Valued Logic and Applications" at the IEEE Journal on Emerging and Selected Topics in Circuits and Systems (JETCAS) |
| 2014 | Special Issue on "Reversible Computation" at the ACM Journal on Emerging Technologies in Computing Systems (JETC) |
| 2011 | Special Issue on "Reversible Computation" at Springer's Lecture Notes in Computer Science (LNCS) |
| 2010 | Special Issue on "Reversible Computation" at the Journal for Multiple-Valued Logic and Soft Computing (MVLSC) |
| 2022 | Special Session on "Software Tools for Quantum Computing: How to Design the Next Big Thing?" at the Design Automation Conference (DAC) |
| 2021 | Panel on "Design Automation for Quantum Computing" at the Design Automation Conference (DAC) |
| 2020 | Special Session on "Realizing Quantum Algorithms on Real Quantum Computing Devices" at the Design, Automation & Test in Europe (DATE) |
| 2019 | Special Session on "IBM's Qiskit Tool Chain: Working with and Developing for Real Quantum Computers" at the Design, Automation & Test in Europe (DATE) |
| 2018 | Tutorial on "Computer-Aided Design for Quantum Computation" at the International Conference on Computer-Aided Design (ICCAD) |
| 2018 | Special Session on "Automatic Design of Microfluidic Devices: An Overview of Platforms and Corresponding Design Tasks" at the Forum on Specification and Design Languages (FDL) |
| 2017 | Tutorial/Workshop on "Networked Labs-on-Chips (NLoCs): A Passive Droplet Routing Concept for Two-Phase Flow Microfluidics" at the Conference on Miniaturized Systems for Chemistry and Life Sciences (MicroTAS) |
| 2017 | Tutorial on "Design Automation for Labs-on-Chip: A New Playground for SoC Designers" at the International System-on-Chip Conference (SOCC) |
| 2016 | Tutorial on "From Biochips to Quantum Circuits: Computer-Aided Design for Emerging Technologies" at the International Conference on Computer-Aided Design (ICCAD) |
| 2016 | Tutorial on "When Embedded Systems meet Life Sciences: Microfluidic Biochips for Real-Time Healthcare" at the Embedded Systems Week (ESWEEK) |
| 2016 | Special Session on "Emerging Technologies" at the International Workshop on Logic & Synthesis (IWLS) |
| 2016 | Special Session on "Reversible Circuits: Design Methods for an Emerging Technology" at the International Symposium on Circuits and Systems (ISCAS) |
| 2015 | Tutorial on "Formal Methods for Emerging Technologies" at the International Conference on Computer-Aided Design (ICCAD) |
| 2014 | Tutorial on "Automated and Quality-driven Requirement Engineering" at the International Conference on Computer-Aided Design (ICCAD) |
| 2014 | Tutorial on "The Formal Specification Level: Bridging the Gap between the Spec and its Implementation" at the Asia and South Pacific Design Automation Conference (ASP-DAC) |
| 2013 | Tutorial on "Design and Verification of Embedded Systems from Natural Language Descriptions" at the Design, Automation & Test in Europe (DATE) |
| 2013 | Tutorial on "Text statt C++: Automatisierung des Systementwurfs mit Hilfe natürlicher Sprachverarbeitung" at the 43. Jahrestagung der Gesellschaft für Informatik (INFORMATIK 2013) |
| 2012 | Special Session on "Reversible Computation" at the International Symposium on Electronic System Design (ISED) |
| 2023 | Design, Automation and Test in Europe (DATE) |
| 2023 | International Conference on Reversible Computation (RC) |
| 2023 | Euromicro Conference on Digital System Design (DSD) |
| 2023 | International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) |
| 2023 | Asia and South Pacific Design Automation Conference (ASP-DAC) |
| 2022 | International Workshop on Boolean Problems (IWSBP) |
| 2022 | International Conference on Computer Design (ICCD) |
| 2022 | IEEE International Conference on Quantum Computing (QCE) |
| 2022 | Computing Frontiers Conference (CF) |
| 2022 | Workshop on Intelligent Methods for Test and Reliability (IMTR) |
| 2022 | IEEE International Conference on Quantum Software (QSW) |
| 2022 | International Workshop on Logic & Synthesis (IWLS) |
| 2022 | International Conference on Reversible Computation (RC) |
| 2022 | European Test Symposium (ETS) |
| 2022 | GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) |
| 2022 | Workshop on Quantum Software Architecture (QSA) |
| 2022 | International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) |
| 2022 | Asia and South Pacific Design Automation Conference (ASP-DAC) |
| 2021 | IEEE International Conference on Quantum Computing (QCE) |
| 2021 | IEEE International Conference on Rebooting Computing (ICRC) |
| 2021 | International Conference on Computer Design (ICCD) |
| 2021 | International Conference on Computer-Aided Design (ICCAD) |
| 2021 | International Workshop on Logic & Synthesis (IWLS) |
| 2021 | International Conference on Very Large Scale Integration (VLSI SoC) |
| 2021 | Euromicro Conference on Digital System Design (DSD) |
| 2021 | International Workshop on Quantum Software Engineering (Q-SE) |
| 2021 | Computing Frontiers Conference (CF) |
| 2021 | Reed Muller Workshop |
| 2021 | International Conference on Reversible Computation (RC) |
| 2021 | International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) |
| 2021 | International Conference on IEEE International Symposium on Multiple-Valued Logic (ISMVL) |
| 2021 | GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) |
| 2021 | Design, Automation and Test in Europe (DATE) |
| 2021 | Asia and South Pacific Design Automation Conference (ASP-DAC) |
| 2020 | International Symposium on VLSI Design and Test (VDAT) |
| 2020 | International Conference on Computer-Aided Design (ICCAD) |
| 2020 | International Conference on Computer Design (ICCD) |
| 2020 | International Workshop on Boolean Problems (IWSBP) |
| 2020 | International Workshop on Logic & Synthesis (IWLS) |
| 2020 | International Symposium on Devices, Circuits and Systems (ISDCS) |
| 2020 | International Conference on Very Large Scale Integration (VLSI SoC) |
| 2020 | International Supercomputing Conference (ISC) |
| 2020 | International Conference on Reversible Computation (RC) |
| 2020 | International Conference on IEEE International Symposium on Multiple-Valued Logic (ISMVL) |
| 2020 | Design, Automation and Test in Europe (DATE) |
| 2020 | GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) |
| 2020 | Asia and South Pacific Design Automation Conference (ASP-DAC) |
| 2019 | International Conference on Computer-Aided Design (ICCAD) |
| 2019 | Tutorials and Special Sessions at ICCAD |
| 2019 | International Symposium on VLSI Design and Test (VDAT) |
| 2019 | Workshop on Synthesis and System Integration of Mixed Information Technologies (SASIMI) |
| 2019 | International Conference on Very Large Scale Integration (VLSI-SOC) |
| 2019 | Workshop on Logic and Synthesis (IWLS) |
| 2019 | Euromicro Conference on Digital System Design (DSD) |
| 2019 | International Conference on Reversible Computation (RC) |
| 2019 | International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) |
| 2019 | Design, Automation and Test in Europe (DATE) |
| 2019 | International Conference on IEEE International Symposium on Multiple-Valued Logic (ISMVL) |
| 2019 | Reed Muller Workshop (RM) |
| 2019 | GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) |
| 2018 | ACM Student Research Competition at ICCAD |
| 2018 | Tutorials and Special Sessions at ICCAD |
| 2018 | Austrian Workshop on Microelectronics (Austrochip) |
| 2018 | International Conference on Very Large Scale Integration (VLSI-SOC) |
| 2018 | International Symposium on Devices, Circuits and Systems (ISDCS) |
| 2018 | International Symposium on VLSI Design and Test (VDAT) |
| 2018 | Design Automation Conference (DAC) |
| 2018 | International Conference on Reversible Computation (RC) |
| 2018 | Design, Automation and Test in Europe (DATE) |
| 2018 | Genetic and Evolutionary Computation Conference (GECCO) |
| 2018 | International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) |
| 2018 | Euromicro Conference on Digital System Design (DSD) |
| 2018 | International Conference on VLSI Design (VLSID 2018) |
| 2018 | Conference on Algorithms and Applications (ALAP) |
| 2018 | Workshop on Synthesis and System Integration of Mixed Information Technologies (SASIMI) |
| 2018 | International Workshop on Boolean Problems (IWBP) |
| 2018 | GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) |
| 2017 | ACM Student Research Competition at ICCAD |
| 2017 | International Symposium on Embedded computing and system Design (ISED) |
| 2017 | Austrian Workshop on Microelectronics (Austrochip) |
| 2017 | International High-Level Design Validation and Test Workshop (HLDVT) |
| 2017 | International Symposium on VLSI Design and Test (VDAT) |
| 2017 | Workshop on Advances in IoT Architecture and Systems (AIoTAS) |
| 2017 | International Conference on Advances in Circuits, Electronics and Micro-electronics (CENICS) |
| 2017 | International Conference on Quantum, Nano/Bio, and Micro Technologies (ICQNM) |
| 2017 | Summer Computer Simulation Conference (SCSC) |
| 2017 | IEEE International High-Level Design Validation and Test Workshop (HDLVT) |
| 2017 | Great Lakes Symposium on VLSI (GLSVLSI) |
| 2017 | Red-Muller Workshop |
| 2017 | Summer Computer Simulation Conference (SCSC) |
| 2017 | Genetic and Evolutionary Computation Conference (GECCO) |
| 2017 | Design Automation Conference (DAC) |
| 2017 | International Conference on Reversible Computation (RC) |
| 2017 | International Symposium on Multiple-Valued Logic (ISMVL) |
| 2017 | GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) |
| 2016 | International High-Level Design Validation and Test Workshop (HLDVT) |
| 2016 | ACM Student Research Competition at ICCAD |
| 2016 | Workshop on Synthesis and System Integration of Mixed Information Technologies (SASIMI) |
| 2016 | Summer Computer Simulation Conference 2016 (SCSC) |
| 2016 | International Workshop on Boolean Problems (IWBP) |
| 2016 | International Symposium on Embedded computing and system Design (ISED) |
| 2016 | Workshop on Logic and Synthesis (IWLS) |
| 2016 | International Conference on Advances in Circuits, Electronics and Micro-electronics (CENICS) |
| 2016 | Summer Simulation Multi-Conference (SummerSim'16) |
| 2016 | International Conference on Advances in System Testing and Validation Lifecycle (VALID) |
| 2016 | The International Symposium on Modeling and Optimization (MODOPT) |
| 2016 | Design Automation Conference (DAC) |
| 2016 | International Symposium on Multiple-Valued Logic (ISMVL) |
| 2016 | Conference on Reversible Computation (RC) |
| 2016 | PhD Forum at DATE |
| 2016 | Genetic and Evolutionary Computation Conference (GECCO) |
| 2015 | International Symposium on Electronic System Design (ISED) |
| 2015 | International Conference on Computer-Aided Design (ICCAD) |
| 2015 | ACM Student Research Competition at ICCAD |
| 2015 | International Workshop on Constraints in Formal Verification (CFV) |
| 2015 | International Conference on Advances in Circuits, Electronics and Micro-electronics (CENICS) |
| 2015 | Summer Simulation Multi-Conference (SummerSim) |
| 2015 | Forum on specification & Design Languages (FDL) |
| 2015 | Conference on Reversible Computation (RC) |
| 2015 | International Symposium on Multiple-Valued Logic (ISMVL) |
| 2015 | Genetic and Evolutionary Computation Conference (GECCO) |
| 2015 | PhD Forum at DATE |
| 2015 | Asia and South Pacific Design Automation Conference (ASP-DAC) |
| 2015 | International Conference on VLSI Design (VLSI Design) |
| 2015 | GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) |
| 2014 | International Symposium on Electronic System Design (ISED) |
| 2014 | International Conference on Computer-Aided Design (ICCAD) |
| 2014 | ACM Student Research Competition at ICCAD |
| 2014 | International Workshop on Boolean Problems (IWSBP) |
| 2014 | Conference on Reversible Computation (RC) |
| 2014 | International Symposium on Multiple-Valued Logic (ISMVL) |
| 2014 | GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) |
| 2014 | Genetic and Evolutionary Computation Conference (GECCO) |
| 2014 | Asia and South Pacific Design Automation Conference (ASP-DAC) |
| 2014 | International Conference on VLSI Design (VLSI Design) |
| 2013 | International Conference on Computer-Aided Design (ICCAD) |
| 2013 | Conference on Reversible Computation (RC) |
| 2013 | International Symposium on Multiple-Valued Logic (ISMVL) |
| 2013 | Genetic and Evolutionary Computation Conference (GECCO) |
| 2013 | Asia and South Pacific Design Automation Conference (ASP-DAC) |
| 2012 | Workshop on Reversible Computation (RC) |
| 2012 | International Symposium on Multiple-Valued Logic (ISMVL) |
| 2012 | Genetic and Evolutionary Computation Conference (GECCO) |
| 2012 | Asia and South Pacific Design Automation Conference (ASP-DAC) |
| 2011 | Workshop on Reversible Computation (RC) |
| 2011 | Genetic and Evolutionary Computation Conference (GECCO) |
| 2010 | Workshop on Reversible Computation (RC) |
| 2010 | Genetic and Evolutionary Computation Conference (GECCO) |
| 2009 | Genetic and Evolutionary Computation Conference (GECCO) |
| 2008 | International Workshop on Boolean Problems (IWSBP) |
| 2022 | Grand Finals of the ACM Student Research Competition (SRC) |
| 2021 | Grand Finals of the ACM Student Research Competition (SRC) |
| 2021 | EDAA PHD Outstanding Dissertation Award |
| 2019 | Chair of the Selection Committee for the ICCAD Ten Year Retrospective Most Influential Paper Award |
| 2019 | ACM India Doctoral Dissertation Award |
| 2018 | ACM India Doctoral Dissertation Award |
| 2017 | ACM India Doctoral Dissertation Award |
| 2016 | ACM India Doctoral Dissertation Award |
| 2013 | Best Paper Award Committee: Asia and South Pacific Design Automation Conference (ASP-DAC) |
|
|
Netherlands Organisation for Scientific Research (NWO) Swiss National Science Foundation (SNSF) Expert Evaluator for the Horizon 2020 Marie Sklodowska-Curie Actions Individual Fellowships programme (H2020-MSCA-IF) Wiener Wissenschafts-, Forschungs- und Technologiefonds (Vienna Science and Technology Fund) External Expert for proposals submitted to the Open Call OC-2016-1 of the EU COST Association National Science Foundation (USA) Agence Nationale de la Recherche (ANR France) |
|
|
Springer, Wiley, CRC Press |
|
|
IEEE Transactions on CAD of Integrated Circuits and Systems (TCAD) IEEE Transactions on Computers (TC) ACM Computing Surveys INTEGRATION, the VLSI Journal Quantum Information Processing (QIP) Transactions on Design Automation of Electronic Systems (TODAES) International Journal of Circuits, Systems, and Computers (JCSC) Journal of Emerging Technologies in Computing (JETC) Microelectronics Journal (MEJ) Annals of Mathematics and Artificial Intelligence and many other journals |
|
|
Design, Automation and Test in Europe (DATE) Design Automation Conference (DAC) International Conference on Computer-Aided Design (ICCAD) Asia and South Pacific Design Automation Conference (ASP-DAC) Formal Methods in Computer-Aided Design (FMCAD) Great Lakes Symposium on VLSI (GLVLSI) International Symposium on Multiple-Valued Logic (ISMVL) International Conference on VLSI Design (VLSI Design) ACM/IEEE International Conference on Formal Methods and Models for Codesign (Memocode) International Symposium on Rapid System Prototyping (RSP) and many other conferences |
| since 2022 | Member of the IFIP Working Group on Foundations of Quantum Computation |
| since 2022 | Future Panel Upper Austria---a think tank for the Upper Austrian government |
| since 2022 | Deputy Speaker of the Working Group Quantencomputing of the German Informatics Society |
| since 2021 | Member of the Advisory Board of the Intiative Quantencomputing by the German Aerospace Center |
| since 2021 | Member of the Advisory Board of Classiq Technologies (a startup working on the development of software for quantum computing) |
| 2021 | Member of the Concept Group for the "University of Technology for Digitalisation and Digital Transformation in Upper Austria" |
| 2018-2019 | TC Chair of the IEEE Multiple-Valued Logic Technical Committee |
| 2009-2012 | Member at Large of the IEEE Multiple-Valued Logic Technical Committee |
| 2009 | Involved in the organization of the Dagstuhl Seminar "Algorithms and Applications for Next Generation SAT Solvers" (organized by Prof. Dr. Bernd Becker, Prof. Valeria Bertacco, Prof. Dr. Rolf Drechsler, and Prof. Masahiro Fujita) |
| 2009 | Involved in the organization of the 21. Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ) (organized by Prof. Dr. R. Drechsler) |
| since 2018 | Deputy Speaker of the Department of Computer Science at the Johannes Kepler University Linz |
| since 2018 | Member of the Study Commission for Computer Science at the Johannes Kepler University Linz |
| 2011-2012 | Exzellenzinitiative des Bundes und der Länder zur Förderung von Wissenschaft und Forschung an deutschen Hochschulen Member of the Preparation Team for the University of Bremen |
| 2009-2015 | Scientific communication in the Group of Computer Architecture (semi-annual newsletters, press releases, etc.) |
| 2007-... | Member and Deputy Member of various appointment committees and postdoctoral lecture qualification committees in several universities |
| 2007-2014 | Member of the Faculty Council of the Department of Mathematics and Computer Science at the University of Bremen |
|
|
Member of the Student Representation for Computer Science at the University of Bremen |
| 2005-2006 | Member of the Computer Science Committee at the University of Bremen |