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

• Digitalization
• Multi-Agent Systems
• Semantic Web
• +۵ مورد دیگر

Prof. Dr. Thomas Farrenkopf is a full-time Professor in the Department of Business Informatics at the Technische Hochschule Mittelhessen , serving as Dean of Studies . He leads the Business Informatics Bachelor program and specializes in digitalization, multi-agent systems, and AI-driven decision support. Expertise Areas : Industry 4.0, Smart Factory, Semantic Web, full-stack software development Contact : thomas.farrenkopf@mnd.thm.de Research Focus : His work bridges knowledge-based methods with practical applications in artificial intelligence, particularly through multi-agent systems for traffic modeling and business simulations. He developed AGADE Traffic (a knowledge-based traffic simulator) and ATHOS (a domain-specific language for multi-agent simulations), focusing on scalability and complexity reduction. Recent studies explore individual preferences' impact on traffic policies and agent-based feedback mechanisms in business contexts. Academic Contributions : With over 15 publications since 2013, his research spans agent-based modeling, semantic web applications, and smart manufacturing - notably improving throughput times in toolmaking by 90% through Industry 4.0 implementations. Teaching & Supervision : Actively supervises Bachelor's Practical Projects (BPP), providing guidance for internship-related academic work through structured evaluation processes and electronic reporting systems. Collaborations : Works with international researchers like Johannes Nguyen, Simon T. Powers, and Michael Guckert, publishing in venues such as SN Computer Science , Lecture Notes in Computer Science , and Journal of Artificial Societies and Social Simulation .

László Lengyelمشاهده پروفایل

استاد

• Model-Driven Engineering
• Internet of Things (IoT)
• Software Obfuscation
• +۷ مورد دیگر

László Lengyel is a Professor at the Budapest University of Technology and Economics (BME), affiliated with the Department of Automation and Applied Informatics . His work bridges theoretical and applied computer science, focusing on industrial automation, IoT systems, and model-driven engineering. Research interests include Model transformations and domain-specific languages IoT device management and multi-domain integration Software obfuscation and cybersecurity Graph algorithms and distributed computing (MapReduce) Real-time data analysis in manufacturing Automotive sensor networks His recent publications reflect expertise in model-driven IoT architectures , granule manufacturing automation , and MapReduce-based graph analysis , with a focus on industrial and automotive applications. He contributes to open-source frameworks like SensorHUB and explores gamification in driver behavior systems.

Shaileshh Bojja Venkatakrishnanمشاهده پروفایل

استادیار

• Blockchain Networking
• Cryptocurrency Algorithms
• Network Systems
• +۵ مورد دیگر

Shaileshh Bojja Venkatakrishnan is an Assistant Professor in the Department of Computer Science and Engineering at The Ohio State University's College of Engineering. His research spans multiple domains at the intersection of networking, distributed systems, and machine learning with a particular focus on blockchain technologies and cryptocurrency networks. Educational Background: PhD in Computer Science from University of Illinois Urbana-Champaign (UIUC), 2017 Bachelor's degree from Indian Institute of Technology Madras, 2012 Dr. Bojja Venkatakrishnan's research interests center around fundamental algorithmic questions at the networking layer of Bitcoin and other cryptocurrency networks. He is particularly interested in applying machine learning techniques for developing algorithms over networks and graphs, with emphasis on 'first-principles' thinking to solve complex distributed systems problems. His work extends to scheduling algorithms for data center networks, peer-to-peer networks, and information theory. The breadth of his research is evident in his publications spanning blockchain networking, payment channel networks, decentralized applications, and machine learning applications for network optimization. Research Impact: Recipient of the Joan and Lalit Bahl fellowship at UIUC His publication record demonstrates significant contributions to the field, with papers appearing in top venues including SIGCOMM, NSDI, SIGMETRICS, and IEEE Transactions. His recent work focuses on enhancing blockchain scalability through peer sampling techniques, transaction reordering mitigation, and efficient peer-to-peer network design for decentralized applications. The trajectory of his research shows a consistent focus on addressing fundamental challenges in distributed systems with practical implications for real-world blockchain implementations and network architectures.

• Safety Assurance
• Robotics
• Autonomous Systems
• +۵ مورد دیگر

Chris Harper is a Senior Research Fellow at the Bristol Robotics Laboratory, affiliated with the Faculty of Engineering and Technology at the University of the West of England. His work focuses on safety assurance in robotics and autonomous systems, with expertise spanning civil aerospace, rail, defense systems, and nuclear energy. AAIP Assistive Robotics in Healthcare CAV Forth ROBOPILOT SafeMRX Research Expertise: With over 25 years in system safety assurance, Harper specializes in safety case development, hazard identification, fault tree analysis (FTA), failure modes & effects analysis (FMEA), and simulation-based safety validation techniques. Key Contributions: He contributed to ISO 13482, the first international safety standard for mobile service robots, and developed the Environmental Survey Hazard Analysis (ESHA) method for autonomous systems. Publications: His work spans safety verification methodologies, swarm intelligence applications, and formal methods integration in autonomous vehicles. Recent articles highlight simulation-based assertion checking and ISO standardization efforts. 15+ years in robotics safety research ISO technical committee participation ESHA method development PhD in robotics safety methodology

Matteo Acclavioمشاهده پروفایل

استادیار

• Proof Theory
• Logic in Computer Science
• Concurrency Theory
• +۵ مورد دیگر

Matteo Acclavio is an Assistant Professor in Computer Science at the School of Engineering and Informatics, University of Sussex, affiliated with the Foundations of Software Systems (FoSS) research group. A logician specializing in proof theory and its applications to computer science, his work bridges mathematical logic with concurrency theory and process calculi. Education: PhD in Mathematics, Aix-Marseille University, France Master in Discrete Mathematics and Foundations of Theoretical Computer Science, Aix-Marseille University Master in Mathematics, Roma Tre University, Italy Bachelor in Mathematics, Roma Tre University His research focuses on graphical proof systems, linear logic, modal logic, and concurrency theory. Publications highlight contributions to deep inference, sequent calculus, and the intersection of logic with distributed systems. Recent work explores logical frameworks for concurrency, such as choreographic programming, and graphical models for proof systems. He teaches courses like Operating Systems and maintains active collaborations in theoretical computer science.

Yves Blaquièreمشاهده پروفایل

استاد

• Microelectronics
• VLSI and ASIC Design
• FPGA-Based Systems
• +۶ مورد دیگر

Yves Blaquière is a Professor in the Department of Electrical Engineering at École de Technologie Supérieure. He is affiliated with the Communications and Microelectronic Integration Laboratory (LaCIME), focusing on microelectronics, integrated circuit design, and power integrity in advanced electronic systems. His research spans VLSI/ASIC design, FPGA-based reconfigurable computing, MEMS for avionics, and radiation effects on electronics. Aeronautics and Aerospace Intelligent and Autonomous Systems Microelectronics and VLSI Power Integrity Modeling MEMS Switch Design Radiation-Resilient Circuits His recent publications highlight innovations in GHz-range power integrity for SiP, FPGA-based SHEPWM inverters, and MEMS switches for avionic power systems. Collaborations with researchers like Frédéric Nabki and Nicolas Constantin reflect his focus on industrial applications and technology transfer. Professor Blaquière co-supervises PhD candidates including Hachem Bensalem, Gabriel Nobert, and Abdurrashid Hassan Shuaibu, covering topics such as heterogeneous optimization, power converter modeling, and MEMS switch development. His work contributes to wafer-scale prototyping platforms like WaferBoard and advanced tools for radiation testing in FPGAs. LaCIME, under his involvement, emphasizes equity, diversity, and inclusion, offering students opportunities to engage in cutting-edge projects from materials to communication protocols. The lab's expertise includes micro/nanofabrication, photonic microsystems, and signal processing.

Alastair Kayمشاهده پروفایل

مدرس

• Quantum Computation
• Quantum Information Theory
• Quantum Cryptography
• +۱۳ مورد دیگر

Dr. Alastair Kay is a Lecturer in the Department of Mathematics at Royal Holloway, University of London. His research focuses on theoretical quantum computation, quantum information theory, and quantum cryptography, particularly addressing challenges in quantum state transfer, error correction, and networked quantum systems. He holds a PhD from the University of Cambridge under Prof. Artur Ekert and a physics degree from Keble College, University of Oxford. His research spans topics such as Quantum state transfer protocols using engineered Hamiltonians Quantum error correction mechanisms for experimental systems Entanglement properties in graph states and spin networks Applications of quantum computing in cryptography and information theory The articles listed reflect his work in quantum information science, computational physics, and theoretical cryptography. Key trends include advancements in fault-tolerant quantum communication, optimization of spin chain dynamics, and foundational studies in quantum correlations and nonlocality. Alastair actively develops software tools like quantikz for quantum circuit diagrams and ConTeXi for LaTeX equation integration in Microsoft Office. He also emphasizes open science principles and reproducibility in quantum research through personal commentary and collaboration with his fiancée, a Panton Fellow in open research practices.

Alexey Gotsmanمشاهده پروفایل

استاد پژوهشی

• Distributed Systems
• Software Verification
• Consensus Algorithms
• +۵ مورد دیگر

Alexey Gotsman is a tenured Research Professor at the IMDEA Software Institute in Madrid, Spain, where he leads research at the intersection of software verification and distributed computing. He also works part-time as a visiting academic at Amazon Web Services. His educational background includes a Ph.D. from the University of Cambridge, where he was previously a postdoctoral fellow. His research spans theoretical foundations and practical implementations of distributed systems, with particular emphasis on fault tolerance, consensus algorithms, and consistency models. His research interests focus on the theoretical and practical aspects of distributed systems, including Byzantine fault tolerance, state machine replication, distributed transactions, and consistency models. His work bridges the gap between formal verification techniques and real-world distributed systems implementations, with numerous publications in top-tier venues like PODC, DISC, and NSDI. His recent publications show a clear progression from theoretical foundations to practical implementations, with increasing focus on real-world applications, performance considerations, and fault tolerance in large-scale distributed systems. The research demonstrates strong connections between formal methods and practical system design, particularly in the areas of consensus protocols, replication strategies, and transaction processing. Best paper award at OPODIS'23 Best paper award at DISC'18 Best paper award at CONCUR'12 EAPLS Best Dissertation Award Runner-up prize in the BCS Distinguished Dissertation Competition ERC Starting Grant 'RACCOON: A Rigorous Approach to Consistency in Cloud Databases' (2017-2022) Ramón y Cajal Fellowship (2017-2022) Alexey actively mentors PhD students including Alejandro Naser Pastoriza, Fedor Ryabinin, and Antonio José Fernández Pinto, while his alumni have gone on to faculty positions at institutions like University of Paris 7 and University of Colorado Boulder, as well as industry roles at companies like ARM and Informal Systems. He has received significant funding including an ERC Starting Grant and served on program committees for numerous top conferences including POPL, DISC, and PODC. He currently co-organizes the International Symposium on Distributed Computing (DISC) and has been instrumental in organizing workshops focused on consistency in distributed systems. His research group at IMDEA Software Institute focuses on developing rigorous approaches to consistency in cloud databases and distributed systems, with active projects spanning theoretical analysis, protocol design, and practical implementation of fault-tolerant distributed systems.

• Parallel File and Storage Systems
• Modular Supercomputing
• Resource Disaggregation and Virtualization
• +۶ مورد دیگر

Sarah Neuwirth is a tenured Professor for Computer Science at Johannes Gutenberg University Mainz (JGU) and a Visiting Researcher at the Jülich Supercomputing Centre. She manages JGU's High Performance Computing (HPC) division, coordinates regional/national HPC activities, and represents JGU in NHR, Gauss-Allianz, and HPC committees. Education : PhD (Dr. rer. nat.) in Computer Science (2018), Heidelberg University Diplom in Computer Science (2012), University of Mannheim Bachelor of Science in Computer Science (2010), University of Mannheim Research Interests : Parallel File and Storage Systems Modular Supercomputing (resource disaggregation/virtualization) Performance Engineering High Performance Computing Networking Reproducible Benchmarking Parallel I/O Publications Trends : Her work focuses on HPC performance modeling, parallel I/O optimization, modular supercomputing, network characterization, and reproducible benchmarks. Key themes include resource disaggregation, automated workflows, and data-intensive distributed applications. Scientific Awards : 2023 PRACE Ada Lovelace Award for HPC ZONTA Science Award 2019 Grants & Leadership : She leads the High Performance Computing division at JGU, participated in European DEEP projects, and serves on SC conference committees.

Victor Vianuمشاهده پروفایل

استاد

• Database Systems
• Database Theory
• Computer-Aided Verification
• +۴ مورد دیگر

Victor Vianu is a Professor in the Department of Computer Science and Engineering at University of California, San Diego. His work bridges database systems, computational logic, and verification of data-driven workflows. Co-author of the influential book Foundations of Databases (1995) PI of NSF grant III 1815247: Views of Data-Driven Business Processes: Foundations and Applications Research Focus He studies verification of database-driven systems, workflow views, and query language theory. His NSF-funded project explores view-based abstraction mechanisms for business processes, integrating logic, automata theory, and infinite-state system analysis. Teaching Victor teaches courses in database systems, logic for computer science, and database theory, including CSE 132A, CSE 205A, and CSE 233. Labs & Collaborations Active member of the UCSD Database Laboratory , collaborating with institutions like INRIA, ENS-Paris, and University of Lille. Leads research seminars in database theory.

Pierre Picardمشاهده پروفایل

استاد

• Insurance Economics
• Risk Management
• Incentive Contracts
• +۴ مورد دیگر

Pierre Picard is a Professor of Economics at École Polytechnique , where he is also a member of the Haut Collège . He holds a PhD in Economics and is a graduate of HEC-Paris. His academic career includes leadership roles such as President of the Risk Theory Society (2005) and President of the European Group of Insurance Economists (EGRIE) (2009). Education: PhD in Economics, HEC-Paris Affiliations: CREST, Risk Theory Society, EGRIE His research focuses on insurance economics , risk management , and contract theory , with applications to catastrophic risks, health insurance, and parametric insurance. Recent publications analyze pandemic business interruption insurance, nuclear liability insurance, and optimal health insurance under ex post moral hazard. Key trends in his work include modeling insurance markets with adverse selection, designing parametric insurance for technology adoption in developing countries, and exploring the role of policy dividends in market equilibrium. He has co-authored multiple papers with A. Louaas, J.-M. Bourgeon, and J. Pinquet. Scientific Awards and Leadership: Junior member, Institut Universitaire de France (1991-1996) President, Risk Theory Society (2005) President, European Group of Insurance Economists (2009) Co-Editor, Annals of Economics and Statistics (past) Co-Editor, Geneva Risk and Insurance Review (past) At École Polytechnique, he teaches courses in Corporate Finance , Microeconomics , and General Insurance at the Master’s level. He also instructs on Topics in Insurance Economics at ENSAE’s Engineering Cycle program.

Ross Horneمشاهده پروفایل

مدرس ارشد

• Security protocols
• Privacy-preserving technologies
• Concurrency theory
• +۷ مورد دیگر

Ross Horne is a Senior Lecturer in the Department of Computer & Information Sciences at the University of Strathclyde, Glasgow, United Kingdom. He is a member of the StrathCyber and Mathematically Structured Programming research groups. Education: PhD (University of Southampton, 2012), BA (Oxford University, 2005) Prior Appointments: Research Fellow at University of Luxembourg (2018-2023), Senior Research Fellow at Nanyang Technological University (2015-2018), Associate Professor at Kazakh-British Technical University (2012-2015) Research Interests: Dr. Horne's work focuses on security and privacy protocols for digital systems, particularly addressing threats in payment technologies, ePassports, and decentralized identity management (e.g., Solid protocol). His theoretical contributions bridge concurrency theory, proof theory, and logic through applications to security verification and process calculi. Developed formal models for unlinkability in EMV payment protocols Created intuitionistic logical frameworks for process equivalence Explored graphical proof systems beyond formulaic representations Investigated legal-compliant AI for space systems (CubeSat anomaly detection) Scientific Contributions: He has published extensively in top venues including ACM CCS, IEEE CSF, LICS, and CONCUR. His 2017 CONCUR best paper introduced intuitionistic characterizations of bisimilarity. Principal Investigator for EU COST Action on Distributed Knowledge Graphs Co-developed privacy models adopted in Luxembourg parliamentary responses Advising: Currently accepting PhD students with strong mathematical and computer science skills for research in security/privacy of emerging systems. Former student Semen Yurkov completed a thesis on privacy-preserving smart card payments. Interdisciplinary Work: Collaborates with space lawyers through the Interdisciplinary Master Program in Space Resources. Projects include AI for CubeSat reliability and legal-compliant software certification frameworks.

Austin Tarantaمشاهده پروفایل

استاد

• Hollow core antiresonant fibres
• Hollow core optical fibre sensors
• Fibre-optic gyroscopes
• +۴ مورد دیگر

Austin Taranta serves as a Professor at the University of Southampton's Optoelectronics Research Centre (ORC), where he leads research and enterprise initiatives within the Hollow Core Fibres Group. Since joining the ORC in 2016, he has driven advancements in hollow core fibre technology for defence and space applications, authored over 50 peer-reviewed publications, secured significant research funding, and manages key industrial partnerships including a Microsoft research contract. His work bridges fundamental fibre physics with practical sensor development. His academic background includes a BSc in Chemical Engineering from the Massachusetts Institute of Technology (2006) and a PhD in Optoelectronics from the University of Southampton (2024). Prior to academia, he gained industry experience as Senior Optical Engineer at Honeywell Aerospace's Strategic Sensors Group developing fibre-optic gyroscopes. Taranta's research focuses on exploiting the unique properties of hollow core fibres for next-generation sensing systems. Key areas include: Hollow core antiresonant fibre guidance physics Gas pressure and temperature dynamics in hollow fibres Polarization behavior in nodeless antiresonant structures Novel sensor architectures for defence applications Bend-insensitive fibre designs for telecom integration Non-destructive characterization methodologies Analysis of his 2023-2024 publications reveals concentrated efforts on solving manufacturing challenges, environmental stability issues, and sensor integration barriers in hollow core fibre technology. His work demonstrates strong industry alignment through Microsoft collaborations and defence-focused applications, particularly in distributed sensing systems and next-generation gyroscopes. No specific scientific awards or medals are listed in the provided text, though his profile notes responsibility for multiple research awards and patent holdings including optical time domain reflectometry innovations. Taranta actively supervises PhD candidates Amalie Gjelsvik and Chiang Ping Saw (part-time), while managing industrial research contracts and academic partnerships. His funding portfolio includes strategic defence projects through Honeywell Aerospace and Microsoft collaborations, supporting the Hollow Core Fibres Group's translational research pipeline. He leads the Hollow Core Fibres Group within the ORC, focusing on commercializing hollow core antiresonant fibre technology through the Hollow Core Fibres Group. Current work targets polarization control, environmental resilience, and sensor integration with industry partners to develop deployable systems for aerospace and defence sectors.

Xuehai Qianمشاهده پروفایل

استاد

• Computer Architecture
• Computer Systems
• Hardware Security
• +۳ مورد دیگر

Xuehai Qian is a Tenured Full Professor in the Department of Computer Science at Tsinghua University since July 2024. Prior to this, he served as an Associate Professor at Purdue University (2022-2024), Assistant Professor at the University of Southern California (2015-2022), and Postdoctoral Researcher at the University of California Berkeley (2013-2015). Ph.D. in Computer Science, University of Illinois at Urbana-Champaign, USA (2013) ME in Computer Science and Technology, Institute of Computing Technology, Chinese Academy of Sciences, China (2007) BE in Computer Science and Technology, Beihang University, China (2004) His research focuses on parallel computer architecture , hardware/software co-designed domain-specific architectures for graph analytics and machine learning , hardware security , and quantum computer architecture . He has pioneered scalable cache coherence protocols for atomic block execution, hardware sequential consistency violation detection, and distributed frameworks for graph processing leveraging emerging memory technologies. Xuehai Qian’s publications span computer architecture , graph analytics , machine learning systems , and quantum computing , with a strong emphasis on distributed systems , accelerators , and memory optimization . His work includes novel architectures for graph processing, decentralized training protocols, and ReRAM-based accelerators for deep learning. NSF CAREER Award (2018) ACSIC (American Chinese Scholar In Computing) Rising Star Award (2019) IEEE Senior Member (2019) Hall of Fame inductions: ASPLOS (2018), HPCA (2019), ISCA (2021), MICRO (2021) W.J. Poppelbaum Memorial Award (2013) He has advised students who have received Microsoft Research Lovelace Fellowships , Ph.D. Fellowships , and Facebook Fellowships . His research has been supported by grants such as the NSF SPX project on FPGA-based machine learning platforms and smaller NSF grants. Notably, he has served as an Associate Editor for Science China (Information Sciences) since 2023 and as a Guest Editor for IEEE Transactions on Parallel and Distributed Systems (2019).

Aravindan Vijayaraghavanمشاهده پروفایل

دانشیار

• Theoretical Computer Science
• Machine Learning Theory
• Data Science
• +۷ مورد دیگر

Aravindan Vijayaraghavan is an Associate Professor in the Department of Computer Science at Northwestern University (affiliated with McCormick School of Engineering). He also holds courtesy appointments in the Industrial Engineering and Management Sciences (IEMS) department. Research interests include theoretical computer science , machine learning algorithms , quantum information , and combinatorial optimization under non-worst-case paradigms. He leads IDEAL (Institute for Data, Economics, Algorithms and Learning) as Site Director at Northwestern and former Institute Director (2023-24). Academic Background : PhD in Computer Science from Princeton University (advisor: Moses Charikar ) Bachelor's Degree in Computer Science from Indian Institute of Technology Madras Postdoctoral work at Courant Institute (NYU) and Carnegie Mellon University via Simons Collaboration grants Research Contributions : Developed smoothed analysis frameworks for random matrices with dependent entries Created sum-of-squares certificates for anti-concentration beyond Gaussian distributions Advanced quantum entanglement certification algorithms for subspaces Improved weak-to-strong generalization theory with data distribution expansion properties Designed error-tolerant e-discovery protocols for legal document classification Scientific Recognition : NSF CAREER Award NSF AITF Award (CCF-1637585, CCF-2154100) Google Research Scholar Program grant Amazon Research Awards program support Simons Postdoctoral Fellowship Academic Leadership : General Chair for FOCS 2024 Co-organizer of Junior Theory Workshop and Northwestern QTW series Active in program committees for COLT , ICML , NeurIPS , and STOC conferences Teaching Portfolio : CS262: Mathematical Foundations of CS (Continuous Mathematics for Computer Science) CS212: Mathematical Foundations of Computer Science (multiple offerings since 2015) CS496: Graduate Algorithms (since 2016) CS396/496: Quantum Computation & Information (co-taught with S. Rao) CS497: Machine Learning Theory (Spring 2025 offering)