جست‌وجوی استاد و پژوهشگر

Alessandro Ottavianoمشاهده پروفایل

پژوهشگر

• Computer Architecture
• Embedded Systems
• Real-Time Systems
• +۳ مورد دیگر

Dr. Alessandro Ottaviano is a Researcher affiliated with the Department of Digital Integrated Circuits and Systems at ETH Zürich. His work focuses on advanced computer architecture and embedded systems, particularly in the domains of RISC-V processors, real-time systems, and heterogeneous computing. He contributes to the design of time-predictable virtual memory solutions, mixed-criticality systems, and energy-efficient hardware-software interfaces. Key research areas include modular processor architectures, hardware monitoring for safety-critical applications, and power management in high-performance computing (HPC) systems. His recent projects involve developing controllers for 2.5D systems-in-package and creating open-source networking solutions for mixed-criticality environments. Ottaviano’s work often emphasizes open-source hardware design and scalable system-level approaches to address challenges in autonomous systems and edge computing. He collaborates on advancements in interrupt handling for virtualized systems, peripheral event linking for IoT devices, and FPGA-based thermal emulation for many-core processors. His research bridges theoretical computer architecture principles with practical implementations in embedded and real-time systems.

Charles Baden-Fullerمشاهده پروفایل

استاد

• Strategy
• Business Models
• Innovation
• +۷ مورد دیگر

Charles Baden-Fuller is the Centenary Professor of Strategy and leader of the Strategy Group at Bayes Business School , City St George’s, University of London . He is concurrently a Senior Fellow at the Wharton School, University of Pennsylvania . Recognised among the world’s top strategy scholars, he has directed major multi-institutional research initiatives and served as Editor-in-Chief of Long Range Planning (1999-2010). Education & Qualifications BA (Oxon) – University of Oxford MA Economics – Cornell University PhD – London School of Economics Research Interests Charles’s work lies at the intersection of strategic management , business model innovation and digital transformation . His early research explained how mature firms can be rejuvenated and how alliances create competitive advantage. More recently he has advanced the concept of business models , investigating what they are, how they evolve, and how managerial cognition shapes their deployment in increasingly digitalised environments. Empirical settings span biotechnology, financial services, automotive software ecosystems and creative industries. Publications & Impact With over 80 refereed journal articles and five influential books—including the seminal Rejuvenating the Mature Business (Harvard Business Press)—his scholarship has shaped both academic theory and managerial practice. Recent articles (2021-2025) focus on digital platform alliances, entrepreneurial networking logics, and AI-enabled business model design. Honours & Awards Fellow of the Strategic Management Society (SMS Fellow, 2009) Fellow of the British Academy of Management Fellow of the British Academy Fellow of AACSB Doctoral Supervision & Research Funding He has supervised to completion more than six PhD students, many now faculty at leading universities. His research has attracted over £4 million in grants from the European Union , UK ESRC , EPSRC and the Mack Institute-Wharton , supporting multi-university teams at Bayes, Sussex, LSE, CREATE-Glasgow, Grenoble EM and Wharton. Professional & Outreach Roles Beyond academia, Charles serves as director or strategic advisor to several high-technology start-ups and as trustee of a major charity. He is a frequent keynote speaker for industry and policy audiences, and his research findings have been featured in the Financial Times , Management Today and other leading media.

• Software Engineering
• Formal Methods
• Model-Driven Engineering
• +۴ مورد دیگر

Pierre KELSEN is a Full Professor in the Department of Computer Science at the University of Luxembourg's Faculty of Science, Technology and Medicine (FSTM). His research focuses on Software Engineering, Formal Methods, Model-Driven Engineering, and Algorithmic Graph Theory. He leads the LASSY Laboratory for Advanced Software Systems, emphasizing model decomposition, regulatory compliance, and formal verification techniques. Education: PhD in Computer Science (1993, University of Illinois at Urbana-Champaign), M.Sc. (1989, UIUC), and Diploma (1986, University of Karlsruhe). Postdoctoral work at the University of British Columbia and Max-Planck-Institut für Informatik. Research Interests: - Development of formal modeling languages (e.g., VCL, F-Alloy) - Model transformation and validation frameworks - Algorithms for compliance and complexity challenges - Visual and modular design methodologies Funding: - ASINE (FNR Pearl, 2013–present): Architecture-based service innovation - MaRCo (FNR Core, 2010–2013): Business-centric regulatory compliance Publications span model-driven engineering, formal methods, and algorithmic foundations, with recent work exploring AI integration in domain modeling and compliance analysis. Labs/Teams: LASSY Laboratory, collaborating on tools like Lightning and Democles for executable modeling frameworks.

Gang (Gary) Tanمشاهده پروفایل

استاد

• Computer Security
• Formal Methods
• Programming Languages
• +۲ مورد دیگر

Gang (Gary) Tan is a Professor at the Pennsylvania State University's College of Engineering, specializing in computer security, formal methods, and programming languages. He co-directs the Institute for Networking and Security Research (INSR) and leads the Security of Software (SOS) Group, focusing on compiler, programming language, and formal method techniques to enhance computer security. Education: B.E. in Computer Science from Tsinghua University Ph.D. in Computer Science from Princeton University His research integrates formal verification with practical security applications, particularly emphasizing: Compiler-based security enforcement Side-channel mitigation in speculative execution Fairness analysis in machine learning systems Formal grammar approaches for software reliability Key article trends show: Security-focused formal methods (15% of publications) ML fairness verification (20% of recent work) Compiler-based security solutions (30% of output) Side-channel defense mechanisms (25% of research) Parser design and formal grammar synthesis (10% of contributions) Scientific achievements include: NSF CAREER Award Google Research Awards (2x) PLDI 2024 Best Paper James F. Will Career Development Professorship Outstanding Research Award at Penn State Ruth and Joel Spira Excellence in Teaching Award Dr. Tan actively contributes to academic communities through: DARPA ISAT study group membership Program committee roles (CGO 2024, ECOOP 2018, etc) Leadership in security research initiatives

Sharad Malikمشاهده پروفایل

استاد

• Computer Science
• Hardware Security
• Digital Systems Design
• +۵ مورد دیگر

Sharad Malik is the George Van Ness Lothrop Professor of Engineering at Princeton University's Department of Electrical and Computer Engineering. His research focuses on designing functionally correct and secure computing systems, combining system design with mathematical modeling for verification. He pioneered the Instruction-Level Abstraction (ILA) model for SoC verification and has contributed extensively to Boolean satisfiability (SAT) solvers. Education: PhD (1990), M.S. (1987) in Computer Science from UC Berkeley; B.Tech. (1985) in Electrical Engineering from IIT Delhi. Research Interests: Formal Verification of Digital Systems Hardware Security and Trust Boolean Satisfiability Solvers System-on-Chip (SoC) Design Accelerator-rich Platform Architectures Notable Achievements: IEEE CEDA A. Richard Newton Technical Impact Award (2017) 2013 IEEE/ACM DAC Most Cited Paper Award Princeton President’s Distinguished Teaching Award (2009) Advising & Labs: Leads the Malik Group, advising over 50 graduate students and postdocs. Active in postdoc recruitment and mentorship programs.

Gayane Vardoyanمشاهده پروفایل

استادیار

• Quantum Networking
• Entanglement Distribution
• Quantum Information Systems
• +۳ مورد دیگر

Gayane Vardoyan is an Assistant Professor at the Manning College of Information and Computer Sciences, University of Massachusetts Amherst. She previously held a permanent Assistant Professor position at QuTech (Quantum Internet Division) and the Faculty of Electrical Engineering, Mathematics, and Computer Science at TU Delft (2022–2024). Her research focuses on quantum networking, particularly developing protocols for entanglement distribution and optimizing quantum systems. Vardoyan earned her B.S. in Electrical Engineering and Computer Sciences from UC Berkeley and her Ph.D. from UMass Amherst under Prof. Don Towsley. She has held postdoctoral and research roles at TU Delft, Inria, and Argonne National Lab. Education: Ph.D., University of Massachusetts Amherst (2017–2021) M.S., University of Massachusetts Amherst (2017) B.S., University of California, Berkeley (2013) Research Interests: Vardoyan’s work addresses challenges in distributed quantum systems, including entanglement distribution algorithms, quantum repeater architectures, and performance analysis of quantum networks. She integrates classical networking techniques with quantum principles to enhance protocol efficiency. Current projects emphasize utility maximization, resource allocation, and optimizing quantum network performance under hardware constraints. Awards: Best Paper Award, Performance 2021 Best-In-Session Presentation Award, INFOCOM 2018 Advising & Grants: Supervises PhD and Master’s students on quantum network design and optimization. Collaborates with industry and academic partners on projects funded by NSF and EU grants. Previously led initiatives at QuTech and co-organized events like the Quantum Software Consortium General Assembly. Labs & Teams: Leads the Distributed Quantum Systems group at UMass, focusing on theoretical and applied research in quantum networking. Engages in cross-disciplinary collaborations with computer science and electrical engineering teams.

• Energy Efficiency in Software
• Multicore Memory Systems
• Hardware/Software Co-Design
• +۳ مورد دیگر

Arrvindh Shriraman is an Associate Professor and Program Director of Software Systems at Simon Fraser University's School of Computing Science in Surrey. His research focuses on energy-efficient software, multicore memory systems, and optimizing hardware/software interfaces for parallel programming. He holds a Ph.D. (2010) and M.S. (2006) in Computer Science from the University of Rochester, and a B.Eng. (2004) from the University of Madras. He teaches courses on parallel programming and energy-conscious software design. His research interests include synchronization mechanisms for domain-specific architectures, cache optimization, and FPGA-based acceleration. He has contributed to frameworks like Mu-grind for HLS-generated RTL instrumentation and TAPAS for parallel accelerator generation. Notable projects include RANGE-BLOCKS for synchronization in domain-specific systems and TapeFlow for gradient computation in neural networks. His work emphasizes real-time verification of autonomous systems and safety-critical trajectory planning for underwater vehicles. Shriraman collaborates closely with the Tangent Lab, exploring cutting-edge solutions in hardware-software co-design and embedded systems. His teaching and research bridge theoretical computer science with applied engineering challenges, addressing scalability, efficiency, and safety in modern computing systems.

• Fluid Mechanics
• Turbulence
• Computational Fluid Dynamics (CFD)
• +۴ مورد دیگر

Philipp Schlatter is a Professor in the Department of Mechanics at KTH Royal Institute of Technology. His research focuses on fluid mechanics, turbulence, and computational fluid dynamics (CFD), with expertise in high-performance computing and direct numerical simulations (DNS). He leads projects involving scalable CFD frameworks like Neko and Nek5000, and investigates turbulent boundary layers, flow control, and coherent flow structures. His work includes experimental and numerical studies of wing profiles, rotating systems, and transition dynamics. Schlatter teaches courses on computational fluid dynamics and turbulence, emphasizing both theoretical and practical aspects of fluid mechanics. Key research interests include developing numerical methods for high-fidelity simulations, understanding turbulence mechanisms, and optimizing flow control strategies. His contributions span aerodynamics, heat transfer, and the application of machine learning to fluid dynamics problems. Schlatter collaborates extensively on interdisciplinary projects, leveraging advanced computing resources to address complex fluid flow phenomena. Publications highlight advancements in DNS frameworks, Bayesian optimization for flow control, and analysis of turbulent structures in pipe and boundary layer flows. His research also addresses challenges in measurement techniques and uncertainty quantification in CFD simulations.

Philipp Allgeuerمشاهده پروفایل

پژوهشگر

• Robotics
• Humanoid Robotics
• Bipedal Locomotion
• +۵ مورد دیگر

Dr. Philipp Allgeuer is a Postdoctoral Research Associate at the Knowledge Technology Research Group within the Department of Informatics at the University of Hamburg. His work focuses on humanoid robotics, bipedal locomotion, and sensor fusion. He holds a PhD from the Autonomous Intelligent Systems Group at the University of Bonn, alongside dual bachelor's degrees in Mechatronic Engineering and Mathematical/Computer Sciences (both with First-Class Honors). His research contributions include the development of the igus Humanoid Open Platform and the NimbRo-OP series of humanoid robots, recognized with awards like the RoboCup HARTING Open Source Award (2016) and the Best Humanoid Award (2018). He has authored influential papers on fused angles for robot balance, tilt phase space representations, and neuro-inspired control architectures. Allgeuer's teams have dominated RoboCup competitions, winning titles in AdultSize and TeenSize leagues multiple times. His open-source software frameworks (e.g., rot_conv_lib , attitude_estimator ) and hardware designs are widely used in robotics research. Recent work explores multimodal human-robot interaction and AI-driven robotic task coordination. He is affiliated with the Knowledge Technology Research Group and contributes to projects like the NICOL humanoid robot, bridging social interaction and reliable manipulation. His research spans from low-level control algorithms to high-level behavior planning systems.

Peter Müllerمشاهده پروفایل

استاد

• Formal Methods
• Program Verification
• Programming Languages
• +۴ مورد دیگر

Prof. Peter Müller is a Full Professor at the Department of Computer Science at ETH Zurich since 2008. Previously, he held positions as Assistant Professor at ETH Zurich (2003-2008), Researcher at Microsoft Research Redmond (2007-2008), and IT project manager at Deutsche Bank. He earned his Diploma in Computer Science from Technical University of Munich (1996) and his Dr. rer. nat. from University of Hagen (2001) with a dissertation on modular verification of object-oriented programs. His research focuses on enabling correct software development through programming languages, verification methods, and tools. Key areas include formal verification for Rust and Go programs (Prusti and Gobra projects), separation logic, security protocols, and distributed systems verification. Müller's work emphasizes practical verification techniques for real-world systems, including secure router implementations and smart contract verification. Recent research trends highlight advancements in hyperproperties, modular reasoning for iterators and closures in Rust, and formal validation of verification tools. His methodologies bridge theoretical foundations with industrial applications, addressing challenges in concurrency, memory safety, and security assurance. Notable contributions include the SCION internet architecture, the Prusti verifier for Rust, and formal verification frameworks for distributed systems. His work often integrates rigorous mathematical foundations with scalable software engineering practices.

• Integrated Circuits
• Pervasive Computing
• Electronics
• +۱۴ مورد دیگر

Matteo Nardello is a researcher affiliated with the Department of Industrial Engineering at the University of Trento. His work focuses on embedded systems, IoT, and energy harvesting technologies for sustainable applications. Current academic affiliation: Department of Industrial Engineering, University of Trento Research interests: IoT, embedded systems, energy harvesting, machine learning, cyber-physical systems Contact: matteo.nardello@unitn.it His research integrates hardware-software co-design for batteryless IoT systems, with applications in smart agriculture, industrial monitoring, and autonomous vehicles. Recent work explores deep learning at the edge, energy-efficient sensor networks, and microbial fuel cells for self-powered devices. Key article trends highlight a focus on sustainable power solutions, wireless sensor networks, and machine learning optimization for constrained environments. He contributes to courses on embedded systems, IoT, and AI-powered industrial applications at the University of Trento.

• Digital Hardware Design
• Reliability Engineering
• Reconfigurable Devices
• +۳ مورد دیگر

Eleonora Vacca is a PhD student and Research Fellow in the Department of Automatic Control and Computer Science (DAUIN) at the Polytechnic University of Turin. She holds a B.S. in Electronic Engineering from the University of Palermo (2018) and an M.S. in Electronic Engineering-Embedded Systems from Politecnico di Torino (2021). Her research focuses on digital hardware design, reliability engineering, reconfigurable devices, and AI applications in aerospace and safety-critical systems. She is a member of the Aerospace and Safety Computing Lab and the CAD - Electronic CAD & Reliability Group (DAUIN). Her work addresses challenges such as radiation effects mitigation in space missions, fault-tolerant AI accelerators, and real-time anomaly detection in satellite telemetry. She has contributed to projects like the RAMSES CubeSat-1 Development (2025-2026), funded by commercial contracts. In 2024, she won the Best Student Paper Award at the NEWCAS Conference for her research on radiation effects in space missions. Vacca collaborates on teaching, including assisting in the course 'Electronic Calculators' for Computer Engineering students. Her recent publications explore AI resilience in RISC-V ecosystems, radiation environment analysis for space missions, and gesture recognition systems for smart cities. She actively contributes to conferences such as the ACM International Conference on Computing Frontiers and the IEEE International Smart Cities Conference.

Russell Tessierمشاهده پروفایل

استاد

• Reconfigurable Computing
• FPGA Architecture
• CAD Algorithms for FPGAs
• +۴ مورد دیگر

Russell Tessier is a Professor and Department Head of Electrical and Computer Engineering at the University of Massachusetts Amherst, affiliated with the Manning College of Information and Computer Sciences. His research focuses on reconfigurable computing, FPGA architectures, and hardware security, with notable contributions in CAD algorithms for FPGAs, embedded systems, and multi-tenant FPGA vulnerability analysis. Education: B.S.C.S.E., Rensselaer Polytechnic Institute (1989) M.S. and Ph.D., Massachusetts Institute of Technology (1992 and 1999) Research Interests: Dr. Tessier's work spans FPGA security (e.g., side-channel attacks, power distribution vulnerabilities), reconfigurable cloud computing, and hardware acceleration for applications like SAR imaging and machine learning. His lab, the Reconfigurable Computing Group, develops open-source FPGA cores (e.g., FlexGrip GPGPU, DE4 NetFPGA) and explores cutting-edge security countermeasures. Awards and Honors: Chancellor's Leadership Fellow (2015-2016) NSF Information Technology Research Grant Lilly Teaching Fellow (2002-2003) Multiple College of Engineering Excellence Awards Grants and Projects: Active funding includes NSF SaTC grants on reconfigurable cloud security and NASA support for snowpack measurement systems. His research also addresses FPGA-based solutions for cybersecurity, such as intrusion detection and power-side channel mitigation. Labs and Teams: Leads the UMass Reconfigurable Computing Group, which collaborates on open-source FPGA tools, security frameworks, and embedded system designs. The group maintains platforms like the DE4 NetFPGA and FlexGrip architecture.

Bernhard Rumpeمشاهده پروفایل

استاد

• Software Engineering
• Model-Based Software Engineering (MBSE)
• Domain-Specific Languages (DSLs)
• +۱۶ مورد دیگر

Bernhard Rumpe is a Professor and Chair of Software Engineering at the Department of Computer Science 3, RWTH Aachen University, Germany. He leads a research group focused on model-based software engineering, domain-specific languages, and digital twins, with strong industrial collaborations and applications in embedded systems, AI, IoT, and autonomous vehicles. His research centers on improving software development through model-driven engineering, generative techniques, and formal modeling using UML, SysML, and the MontiCore language workbench. Key interests include digital twins, variability modeling, model composition, and the integration of cyber-physical systems with information systems. The recent publications highlight a consistent focus on model-driven digitalization, language workbenches, and system integration. Trends show increasing emphasis on digital twins in manufacturing and societal systems, formal verification of model transformations, and educational applications of model-driven low-code platforms. His work bridges theoretical foundations with industrial applicability. Keynote Speaker, OOPSLE 2025 General Chair, GPCE 2023 Session Chair, MODELS 2020 Program Committee Member, SLE, GPCE, ICSE, ECMFA He advises master’s and doctoral students and leads a vibrant research team that has successfully executed over 100 research projects. His group develops foundational tools like MontiCore and applies them in industrial contexts, contributing to software quality and developer efficiency. No formal grants are listed, but sustained project funding is evident. He is involved in several research labs and teams centered around the Software Engineering Chair at RWTH Aachen, focusing on language workbenches, model-driven development, and digital twin systems. The team actively contributes to open research through publications, tools, and industrial partnerships.

Seth Freyمشاهده پروفایل

دانشیار

• Computational Social Science
• Governance of Commons
• Complex Systems
• +۵ مورد دیگر

Seth Frey is an Associate Professor in the Department of Communication at the University of California, Davis, with affiliate status at Indiana University's Ostrom Workshop and as Research Director at Metagov. His research focuses on computational social science approaches to understanding self-governance in complex social systems, particularly through the lens of online communities as model institutions. Education: Ph.D. in Cognitive Science and Informatics (complex systems), Indiana University, 2013 B.A. in Cognitive Science, UC Berkeley, 2004 Research Interests: Frey specializes in computational approaches to institutional analysis and the cognitive science of strategic behavior . His work examines how communities design governance systems to overcome collective action problems, with emphasis on: Emergent institutional structures in digital commons Policy-as-data through NLP and institutional grammar frameworks Cognitive mechanisms underlying cooperative behavior Design principles for participatory change in online platforms His methodology integrates large-scale data analysis, web-based experiments, and computational modeling across diverse contexts including Minecraft, Reddit, and professional sports ecosystems. Publication Trends: Recent publications (2023-2025) demonstrate a cohesive trajectory toward computational institutional analysis, with increasing focus on NLP-driven policy analysis (e.g., NLP4Gov), decentralized governance architectures (DAOs, multi-level platform governance), and the cognitive foundations of collective action. His work consistently bridges theoretical institutional analysis with practical applications in digital community design, showing particular growth in translating Ostrom's design principles into computational frameworks. Awards: Honorable Mention Award for Best Paper at ACM CSCW 2019 Advising and Grants: Frey mentors students interested in data science applications at the intersection of communication, cognition, and complex systems, emphasizing resourcefulness and intellectual curiosity. His research has secured substantial funding from: National Science Foundation (NSF) NASA Ford Foundation Google Open Source Foundation He actively encourages aspiring graduate students with strong self-directed research skills to explore computational approaches to social phenomena. Labs and Teams: He leads the Computational Communication Lab at UC Davis and co-directs the Institutional Grammar Research Initiative. Through Metagov, he develops the 'Governance API' framework for modular community governance. His past affiliations include Disney Research (Walt Disney Imagineering) where he applied complexity science to theme park systems, and the New England Complex Systems Institute (NECSI). Current collaborations span Ethereum governance, Minecraft server ecosystems, and Colorado's cannabis monitoring infrastructure.