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

Oded Padonمشاهده پروفایل

استادیار

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

Oded Padon is a Senior Scientist (≈Assistant Professor) at the Weizmann Institute of Science , affiliated with the Faculty of Mathematics and Computer Science . He joined Weizmann in September 2024 after prior roles as a researcher at VMware Research Group , a postdoc in Alex Aiken's group at Stanford University , and a PhD student at Tel Aviv University under Mooly Sagiv . Research Interests : Oded's work focuses on developing principled algorithms for automated verification of complex systems, particularly distributed protocols, storage systems, and cluster management. He emphasizes decidable logics, primal-dual methods, and decomposition techniques. His recent interests include verification of deep neural networks , quantum computing , and leveraging large language models for verification tasks. Key projects: Ivy (safety/liveness verification), mypyvy (invariant inference), Verus (Rust verification), TASO (deep learning optimization), Quartz (quantum circuit superoptimizer). Scientific Awards : Azrieli Early Career Faculty Fellowship 2020 ETAPS Doctoral Dissertation Award 2017 Google PhD Fellowship in Programming Languages Radhia Cousot Young Researcher Best Paper Award (SAS 2017) Publications span decidable verification, invariant inference, quantum optimization, and machine learning for verification. His work has received Jay Lepreau Best Paper Award at SOSP 2024 (Anvil) and Distinguished Paper Awards at POPL 2024 (An Infinite Needle) and OOPSLA 2023 (Leaf).

• Software Testing
• Software Verification
• Programming Languages
• +۷ مورد دیگر

Karine Even-Mendoza is a Lecturer at King's College London specializing in software reliability, with active contributions to SPLASH, ASE, and ISSTA conferences. Her research bridges traditional software engineering with emerging domains like quantum computing and green software. Her research interests focus on: Advanced testing methodologies (Fuzzing, Model Checking) Machine Learning integration for test generation Quantum software validation Energy-efficient computing solutions Recent publications (2020-2025) reveal a strategic evolution from compiler testing foundations to ML-augmented quantum and green computing research. This progression demonstrates consistent innovation in software reliability while addressing industry-critical challenges in emerging technologies. As a Lecturer, she actively supervises student projects and conference submissions. Her involvement in conference organization (SPLASH, ICTSS) and industry collaborations (eBay, IBM legacy) provide students with real-world exposure to software engineering challenges. Her research group develops practical tools like CsmithEdge and SearchGEM5, maintaining strong GitHub engagement for open-source contributions to compiler and simulator testing.

Sándor Darányiمشاهده پروفایل

استاد

• Digital Libraries
• Information Retrieval
• Digital Preservation
• +۵ مورد دیگر

Sándor Darányi is a Professor at the Swedish School of Library and Information Science, University of Borås (since 2011), with a career spanning over four decades in information science, digital libraries, and cultural heritage preservation. He also holds an Honorary Professorship at Szeged University, Hungary. His research focuses on advanced access to digital libraries, automatic indexing, information visualization, digital preservation, narrative genomics, and quantum interaction models for semantics. Education: Candidate of Science (CSc) in Ethnography, Hungarian Academy of Sciences (1994) PhD in Information Science, Eötvös Loránd University (1989) MA in Library and Information Science, Eötvös Loránd University (1985) MSc in Agricultural Sciences, University of Agriculture (1975) Research Interests: Darányi’s work bridges computational methods with cultural studies, including: - Formalization of folk narratives for big data analysis - Quantum-inspired models of semantic change - Haptic interfaces for accessibility in museums - Evolving semantics in digital ecosystems - Cultural heritage digitization projects Professional Activities: Editorial Board Member of Journal of Information Science Education Organized major conferences such as SEMANTiCS, IC-ININFO, and AMICUS workshops Supervised doctoral students in computer science and information studies Co-developed the PERICLES project on digital preservation Labs/Teams: His research groups have pioneered projects like the MuseIT inclusive museum initiative and the SHAMAN digital preservation framework, leveraging high-performance computing and cloud technologies.

• Compiler Design
• Programming Languages
• Static Analysis
• +۵ مورد دیگر

Elisabeth Sommer is a Lecturer at the Chair of Languages and Description Structures in Computer Science at Technische Universität München (TUM). She has been actively involved in teaching since at least 2018, specializing in compiler design, programming languages, and static analysis. Her courses include Compiler Construction , Virtual Machines , and Functional Programming and Verification . She has consistently taught advanced topics such as program optimization, language-based security, and quantum computing in compilers. Research interests focus on compiler design principles, static analysis techniques, and the integration of quantum computing with compiler optimization. She collaborates on projects like Goblint (a static analyzer) and contributes to initiatives such as SpAGAT and Teleteaching . Elisabeth has organized events like the Summer School Marktoberdorf 2019 and contributed to academic workshops. Her teaching spans multiple semesters, including recent offerings like Static Analysis - Strengthen Equalities by Relaxing Polyhedra (Summer 2025) and Quantum Computing at Compile Time (Winter 2024/25). She advises student theses and practical courses, though specific student names are not listed.

• Compiler Design
• Static Analysis
• Functional Programming
• +۳ مورد دیگر

Alexandra Graß, M.Sc., is a member of the TUM Institute of Computer Science I2 , specifically within the Computer Science 2 - Chair of Languages and Description Structures in Computer Science led by Prof. Dr. Helmut Seidl. She has been actively involved in teaching and research since at least 2019. Her teaching responsibilities include courses such as Compiler Construction , Virtual Machines , Functional Programming and Verification , and Program Optimization . She has also supervised internships and seminars focused on static analysis, quantum computing at compile time, and next-gen programming interfaces. Her research interests span compiler design, static analysis techniques, and their application to software verification and optimization. Projects she contributes to include tools like Goblint and Teleteaching . She has organized and participated in academic events such as the Summer School Marktoberdorf and Ferienakademie conferences. Alexandra has consistently taught core computer science courses across multiple semesters, demonstrating expertise in both theoretical and applied aspects of programming languages and compiler technologies. While no specific grants or awards are listed, her active involvement in teaching and research indicates significant contributions to the field.

• Compiler Design
• Static Analysis
• Programming Languages
• +۵ مورد دیگر

Michael Petter is a faculty member at the Technische Universität München (TUM), affiliated with the School of Computer Science II (Informatik 2) and the Department of Languages and Description Structures in Computer Science. He specializes in compiler design, static analysis, and formal verification, with a focus on developing tools like the Goblint framework for multi-threaded C programs. His teaching spans courses such as Compiler Construction, Program Optimization, and Functional Programming, reflecting his expertise in programming languages and software engineering. His research interests include static analysis techniques, concurrency control, and abstract interpretation frameworks. He has contributed to advancements in flow-sensitive analysis, context-sensitivity management, and precision recovery in program analysis. Recent work emphasizes improving static analysis tools for industrial benchmarks and enhancing their usability through incremental methods. Petter’s publications highlight innovations in numerical abstract domains (e.g., octagons), non-local jump misuse detection, and thread-modular analysis for multi-threaded systems. His involvement in projects like the DFG Research Training Group ConVeY underscores his commitment to advancing continuous verification in cyber-physical systems. He advises thesis projects on topics like quantum computing at compile time and program synthesis, fostering interdisciplinary collaboration. While actively engaged in academic events and editorial roles, he maintains a lab focused on cutting-edge compiler and static analysis research.

Nikitas-Marinos Sgourosمشاهده پروفایل

استاد

• Computer Science
• Artificial Intelligence
• Multimedia Technologies
• +۵ مورد دیگر

Professor Nikitas-Marinos Sgouros holds a PhD in Computer Science from Northwestern University (1994), an M.Sc. in Artificial Intelligence from the University of Edinburgh (1990), and a Diploma in Electrical and Computer Engineering from the National Technical University of Athens (1988). He is currently a Professor at the Department of Digital Systems, University of Piraeus, Greece. He has served as Director of the M.Sc. in Technology Education and Digital Systems and Deputy Director of his department. His research focuses on Intelligent Systems, Multimedia Technologies, and their applications in health informatics and education. He leads the Intelligent Systems and Multimedia Technologies lab and has contributed to numerous national and EU-funded projects. Education: PhD in Computer Science, Northwestern University, USA (1994) M.Sc. (Distinction) in Artificial Intelligence, University of Edinburgh, UK (1990) Diploma in Electrical and Computer Engineering, National Technical University of Athens, Greece (1988) Research Interests: Professor Sgouros specializes in developing advanced systems for multimedia processing, quantum computing applications, and workflow management. His work intersects with health informatics, leveraging technology to enhance healthcare service organization and management. He actively engages in interdisciplinary projects, collaborating with organizations like IEEE, IMIA, and EFMI. Labs/Teams: Director of the Intelligent Systems and Multimedia Technologies lab, focusing on innovation in digital systems and their societal impact.

• Machine Learning
• Quantitative Finance
• Cryptocurrency
• +۷ مورد دیگر

Dr. Paul Bilokon is a Visiting Lecturer in the Department of Mathematics at Imperial College London's Faculty of Natural Sciences. He holds leadership roles as CEO and Founder of Thalesians Ltd, Chief Scientific Advisor to Thalesians Marine Ltd, and Head of Faculty at the Machine Learning Institute (MLI) and Quantitative Developer Certificate (QDC). Previously, he led global credit and core e-trading quant teams at Deutsche Bank and held senior roles at Morgan Stanley, Lehman Brothers, and Citigroup. His research focuses on machine learning in finance, cryptocurrency, high-frequency trading systems, and domain theory. He earned a distinction from the University of Oxford and won the Donald Davis Prize and British Computer Society SET Award for his work on stochastic processes and imaging. His book contributions include 'Machine Learning and Big Data with kdb+/q' and 'Machine Learning in Finance: From Theory to Practice.' He teaches advanced machine learning and C++ programming, emphasizing reinforcement learning and low-latency applications. Education: Christ Church, University of Oxford (MSci with distinction); Imperial College London (Donald Davis Prize-winning MSci thesis). Research interests include algorithmic trading, quantum machine learning, and drug discovery via graph neural networks. Awards: Quant of the Year 2023, multiple industry accolades. Projects span cryptocurrency arbitrage, low-latency systems, and topological approaches to number theory. Advised numerous students on topics like deep reinforcement learning and electronic market making. Labs/Teams: Thalesians Ltd (quantitative research), MLI (machine learning education), QDC (certification programs). Grants and consulting span financial institutions and tech firms. His work bridges academia and industry, driving innovation in finance and computer science.

Anthony Goodacreمشاهده پروفایل

استاد

• Computer Architecture
• High-Performance Computing (HPC)
• Embedded Systems
• +۷ مورد دیگر

Anthony Goodacre is a Professor of Computer Architectures at the School of Computer Science, holding a part-time role while serving as Director of Technology and Systems at ARM Ltd. in Cambridge. He leads research spanning nanotechnology, hardware design, operating systems, and heterogeneous runtimes, with a focus on scalable, power-efficient systems for embedded, enterprise, and HPC applications. Research interests include: Exascale computing through EU-funded projects like EUROSERVER and ExaNoDe 3D silicon integration and system virtualization for heterogeneous architectures Quantum-classical programming languages (e.g., Quff) Power management techniques like cyclic power-gating Memory models and runtime systems for ARM-based data centers His 15 most recent publications highlight trends in FPGA acceleration, radiation-hardened MPSoC systems, and hybrid quantum-classical programming. Contributions to EU FP7/H2020 projects (e.g., EUROSERVER, ExaNEST) emphasize commercialization of ARM technology for exascale computation. Current collaborations include: KALEAO Limited (CSO/CTO since 2015) ARM Ltd. (Director since 2002) Technology Strategy Board (member since 2015) Academic partnerships in EU H2020 projects He co-supervises two PhD students and contributes to policy discussions, including parliamentary select committee evidence. His work aligns with UN SDGs for energy efficiency and sustainable computing.

Brendan Sullivanمشاهده پروفایل

استادیار

• Graph Theory
• Combinatorics
• Pursuit-Evasion Games
• +۵ مورد دیگر

Brendan Sullivan is an Assistant Professor of Mathematics at Emmanuel College , specializing in graph theory and combinatorics . He holds a Doctorate of Arts (2013) and MS in Mathematics (2010) from Carnegie Mellon University, along with a BA in Mathematics & Physics (2007) from Hamilton College. Education Doctorate of Arts in Mathematics, Carnegie Mellon University (2013) MS in Mathematics, Carnegie Mellon University (2010) BA in Mathematics & Physics, Hamilton College (2007) His research focuses on mathematical puzzles and their applications, particularly in Lazy Cops & Robbers pursuit-evasion games on graphs, voting theory , and the Basel Problem . He has collaborated with Emmanuel students on graph theory research and is compiling a comprehensive book on the Basel Problem. Scientific Recognition Hugh D. Young Graduate Student Teaching Award (2013), Carnegie Mellon University He has created educational materials including crossword puzzles for Mathematics Magazine and a textbook for proof-writing instruction used at Carnegie Mellon University. His publications extend into fractal geometry and materials science , reflecting interdisciplinary interests.

José Nuno Oliveiraمشاهده پروفایل

استاد

• Formal Methods
• Algebra of Programming
• Functional Programming
• +۳ مورد دیگر

Roles and Affiliations: José Nuno Oliveira is a Full Professor at the University of Minho's School of Engineering, Department of Computer Science. He is a member of the HASLab (High-Assurance Software Laboratory) and the Formal Methods Europe (FME) Association. He has held roles such as General Chair of the 3rd World Congress on Formal Methods (FM'19) and served on numerous international conference committees. Education: Habilitation in Computing Foundations (2010), University of Minho Ph.D. in Computer Science (1984), University of Manchester, UK M.Sc. in Computer Science (1981), University of Manchester, UK Lic. Eng. Elect. (Digital Systems & Computers) (1978), University of Porto, Portugal Research Interests: Oliveira focuses on formal methods, program calculation, and algebraic programming. His work emphasizes improving software design through mathematical rigor, including applications of relational algebra, functional programming, and program transformation. He has contributed to frameworks like Alloy and QAlloy for software verification. Publications: His recent work spans topics like quantum programming (e.g., quantamorphisms), typed linear algebra for data analysis, and formal methods in education. Over 80 publications include influential papers on Galois connections, metaphorisms, and coalgebraic systems. Awards and Grants: Not explicitly listed, but his leadership roles and extensive conference involvement highlight his recognition in formal methods. Active in projects like IBEX (cyber-physical systems) and TRUST (Alloy-based design). Teaching and Service: Teaches courses on program calculation and formal methods. Serves on editorial boards (e.g., Formal Aspects of Computing ) and chairs international conferences. Active in promoting formal methods education through workshops and training initiatives. Labs and Teams: Co-leads the HASLab (INESC TEC & University of Minho), focusing on high-assurance software systems. Collaborates on projects like EVEREST (railway network verification) and LeanBigData (big data analytics).

Tobias Grosserمشاهده پروفایل

دانشیار

• Compilers
• Programming Languages
• Performance Programming
• +۷ مورد دیگر

Tobias Grosser is an Associate Professor in the Department of Computer Science and Technology at the University of Cambridge. His research focuses on rethinking performance programming by bridging the gap between developers and compilers. He holds a PhD from École Normale Supérieure Paris and has held positions including Reader at the University of Edinburgh and Ambizione Fellow at ETH Zurich. His research interests span compilers, programming language design, static/dynamic analysis, and the integration of machine learning into compiler development. He emphasizes making compilation more modular, automatic, and trustworthy, with applications in quantum computing, climate science, and open-source hardware. Key projects include xDSL (a Python-native compiler framework), LoopOpt, and the Open Earth Compiler for climate simulations. Recent publications highlight advancements in multi-level intermediate representations (IR), formal verification in MLIR, and performance optimization for GPUs and FPGAs. His work often addresses barriers between programmers and compilers, aiming for intuitive collaboration between developers and automated systems. Tobias mentors a dynamic team of PhD students, postdocs, and researchers, including notable contributors like Siddharth Bhat, Arjun Pitchanathan, and Mathieu Fehr. His lab focuses on compiler toolchains for domain-specific hardware accelerators, quantum computing ecosystems, and verified compilation techniques.

• Cybersecurity
• Code Obfuscation
• Malware Analysis
• +۳ مورد دیگر

Sebastian Schrittwieser is a Researcher in the Research Group Security and Privacy, part of the Faculty of Computer Science. His work focuses on cybersecurity, code obfuscation, malware analysis, and machine learning applications in security. He leads and contributes to projects like INODES (Cyber Defense Strategies) and EMRESS (Resilience Evaluation Models). His research bridges theoretical foundations and practical applications, addressing challenges in software protection and threat detection. Key research interests include: Code Obfuscation Techniques and Resistance Adversarial Machine Learning and Risk Assessment Malware Analysis and Program Simulation User Behavior in Cybersecurity Contexts Recent publications emphasize empirical studies on IT/OT infrastructure security, graph neural network vulnerabilities, and quantum-inspired machine learning. He actively collaborates with institutions like SBA Research and presents at international conferences. Grants include Research Funding for projects on optimal cyber defense strategies (INODES) and software resilience evaluation (EMRESS). His work aligns with interdisciplinary efforts in security engineering and privacy-preserving technologies.

• Quantum Information and Computation
• Quantum Many-Body Systems
• Tensor Networks
• +۷ مورد دیگر

Professor Norbert Schuch is a full Professor of Physics and Mathematics at the University of Vienna, where he leads the Research Group "Quantum Information and Quantum Many-Body Physics" at both the Faculty of Physics and Faculty of Mathematics. He joined the University of Vienna in October 2020 after serving as a tenured Research Group Leader at the Max-Planck-Institute of Quantum Optics in Garching, Germany and as a Lecturer at the Technical University Munich. Prior to that, he held a Tenure-Track-Professor position at the Institute for Quantum Information at RWTH Aachen University. Professor Schuch's research focuses at the intersection of Quantum Information and Computation with the Physics of Complex Quantum Many-Body Systems. His work combines mathematical, physical, and computational approaches to understand quantum correlations in many-body systems. Key research areas include tensor networks (such as Matrix Product States and Projected Entangled Pair States), topological order, entanglement theory, quantum algorithms, and quantum complexity theory. His interdisciplinary approach integrates methods from physics, mathematics, and theoretical computer science to address fundamental questions about quantum systems. His recent publications show a continued focus on tensor network theory and applications, with particular emphasis on topological phases, entanglement structure, quantum algorithms, and computational aspects of quantum many-body systems. His work spans mathematical foundations, physical applications, and computational implementations, demonstrating the cross-disciplinary nature of his research program. As an educator, Professor Schuch teaches courses on Quantum Information, Quantum Computing, and Quantum Algorithms, as well as specialized topics like Entanglement in Quantum Many-Body Systems. He actively supervises PhD students, postdocs, and master's students in his research group, which maintains strong connections with the international quantum information community.

Thomas Nollمشاهده پروفایل

دانشیار

• Static Program Analysis
• Quantum Software Compilation
• Reliability Engineering
• +۱ مورد دیگر

Dr. Thomas Noll is an Associate Professor at the Department of Computer Science, RWTH Aachen University. He is a member of the Software Modeling and Verification Group (MOVES) led by Prof. Joost-Pieter Katoen. Research Interests Static Program Analysis for Software Optimization and Verification Compilation of Quantum Software Reliability, Safety, and Security of Hardware/Software Systems Formal Verification of Artificial Neural Networks He has supervised over 30 bachelor's and master's theses at RWTH Aachen University from 2002 to 2024, including topics on probabilistic model checking, neural network verification, and program analysis. His administrative roles include Examination Board membership for Computer Science (since 2012), QVM funds management (since 2024), and student advising across multiple disciplines. He has participated in over 40 program committees and organized 8 conferences/workshops since 2004, focusing on formal verification and software engineering applications.