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

• School Psychology
• Neuropsychological Assessment
• Child and Adolescent Mental Health
• +۴ مورد دیگر

DAVID KAHN is a Clinical Assistant Professor in the Department of Educational Psychology at Texas A&M University and Clinic Director for the Counseling and Assessment Clinic. His expertise spans school psychology, neuropsychological assessment, and mental health services accessibility. He holds a Ph.D. from Texas A&M University (2011), an M.A. from the University of Houston-Clear Lake (2005), and a B.A. in Music from the University of Texas at Austin (1997). Dr. Kahn's research focuses on school-based mental health services, test validation, and intervention efficacy. His work emphasizes user-friendly evaluation reports and integrates cognitive-behavioral and solution-focused therapies. He has experience in pediatric psychology, clinical neuropsychology, and school administration in Texas. His recent publications (2009-2015) center on neuropsychological assessment tools like the Comprehensive Trail Making Test, exploring gender/ethnic differences in cognitive performance and refining clinical interpretation methods. His articles highlight psychometric rigor and practical clinical applications in pediatric and adolescent populations. No scientific awards are explicitly mentioned. He advises graduate students in therapy and assessment through his clinic director role and teaches courses such as Child Psychopathology and Emotional Disturbance in Children.

Vinod Sarinمشاهده پروفایل

استاد پژوهشی

• Materials Science
• Physical and Chemical Vapor Deposition
• Surface Modification
• +۶ مورد دیگر

Vinod Sarin is a Research Professor affiliated with Boston University's Materials Science & Engineering and Mechanical Engineering departments. His research focuses on advanced materials and coatings, including vapor deposition techniques, surface modification, and ceramic composites. He leads the Surface Modification Laboratory, specializing in CVD, PVD, and diamond coatings, emphasizing structure-property correlations of thin films and ceramic consolidation processes. Education: ScD from MIT. He has published over 100 papers, edited 10+ books, and holds 80+ patents. He has served as a visiting professor internationally and consults for multinational organizations. His work addresses energy, photonic, and structural applications, with notable contributions to transparent optical ceramics and environmental barrier coatings (EBCs). Publications span advanced materials synthesis, coating stability under corrosive conditions, and thin film characterization. His research integrates theoretical modeling with experimental methods, addressing challenges in gas turbine components and scintillator materials. He collaborates globally, contributing to conferences like the International Conference on the Science of Hard Materials.

Jesper Nørlem Kampمشاهده پروفایل

استادیار

• Environmental Engineering
• Agricultural Emissions
• Greenhouse Gas Emissions
• +۷ مورد دیگر

Jesper Nørlem Kamp is a Tenure Track researcher at Aarhus University, affiliated with the Department of Bio- and Chemical Technology within AU Engineering. His primary focus lies in environmental engineering, particularly the quantification and mitigation of ammonia and greenhouse gas emissions from agricultural sources such as animal slurry and broiler litter. Institution: Aarhus University School: AU Engineering Department: Department of Bio- and Chemical Technology Position: Assistant Professor (Tenure Track) Email: jk@bce.au.dk His research centers on environmental emissions from agricultural systems, with a strong emphasis on measurement techniques like micrometeorological methods, flux chambers, and inverse dispersion modeling. He is actively involved in refining emission models such as ALFAM2 and evaluating mitigation strategies including slurry injection, covering of manure, and urease inhibitors. His work bridges experimental field studies with model-based analysis to improve emission inventories and support climate-smart farming practices. The recent publications indicate a consistent focus on atmospheric measurement techniques, agricultural meteorology, and waste management. Key themes include the validation of emission measurement methods, the impact of slurry treatment and application techniques, and the development of tools for regulatory and policy support. The research spans both technical innovation and practical application in real-world farming systems. Currently, he is contributing to the GHG-Græs project (2024–2027), which aims to quantify greenhouse gas emissions from grazing dairy cows and associated land areas, reflecting his ongoing commitment to sustainable agriculture and climate impact reduction. While no scientific awards are listed in the provided text, his collaborative work with experts like Anders Feilberg and participation in high-impact journals such as Atmospheric Environment and Agricultural and Forest Meteorology underscores his active role in the environmental science community. Jesper Nørlem Kamp advises no listed students in the provided data. However, his involvement in major research projects suggests potential mentorship roles. He is engaged in externally funded research, particularly through the GHG-Græs project, which likely involves grant support, though specific grant names are not disclosed. His work contributes to both national and EU-level environmental regulations, especially concerning industrial emissions directives. He is part of a research team focused on environmental emissions at Aarhus University, working within the Environmental Engineering section. This team conducts field experiments, develops models, and supports policy-making related to agricultural air quality and climate change mitigation. The group likely operates advanced measurement setups including micrometeorological towers, flux chambers, and analytical instrumentation for gas analysis.

Martin Fislakeمشاهده پروفایل

استاد مدعو

• Educational Robotics
• Technology Education
• STEM Promotion in Early Education
• +۳ مورد دیگر

Dr. Martin Fislake is an Adjunct Professor at the University of Koblenz, affiliated with the Department of Economics (Fachbereich 4). His primary role includes specialist advisory services in Technical Sciences within the department. He holds multiple administrative roles, including membership on the Library Committee, the Department Council, and the University-wide representation of academic staff. He also serves as the Safety Officer (SiB) within Fachbereich 4. His research focuses on educational robotics, technology education, and STEM promotion in early childhood and primary education. Key areas include the design of low-cost robotics tools like Brushbots, the evaluation of long-term construction kit projects in schools, and the integration of drones and robotics into coding and problem-solving curricula. He has pioneered initiatives such as the ‘technikcamps’ summer program in Germany and adapted similar projects for international contexts like Rwanda. His publications highlight trends in child-robot interaction, the transition from construction kits to advanced robotics education, and strategies to attract young engineers. Recent work emphasizes ethical considerations in educational technology, cost-effective solutions for schools, and interdisciplinary approaches blending coding with engineering principles. Fislake actively contributes to academic governance through his involvement in departmental and university committees. His work bridges theoretical research with practical educational implementation, aiming to foster technological literacy and career pathways in STEM from an early age.

• Neuromorphic Computing
• Reservoir Computing
• Reinforcement Learning
• +۳ مورد دیگر

Prof. Abigail Morrison is a Professor and Group Leader of the Computation in Neural Circuits group at the Institute for Advanced Simulation (IAS-6), part of Forschungszentrum Jülich. Her work focuses on advancing neuromorphic computing, reservoir computing, and spiking neural network simulations. She leads development of the NEST simulator and NESTML modeling language, tools critical for large-scale brain modeling. Key research areas include: Neuromorphic hardware-software co-design Biophysically plausible neural network models GPU-accelerated simulation frameworks Multi-scale brain co-simulation techniques Applications in embodied AI and neuroscience Her lab contributes to the European EBRAINS infrastructure and has pioneered methods for parallel GPU-based network construction. Recent work explores topographic neural circuit architectures for signal processing and reinforcement learning in neuromorphic systems. Notable achievements include: Development of NESTML (v8.0+) ODE-toolbox for ODE solver selection Co-design of HNC neuromorphic compute nodes Advances in dendritic computation modeling Current efforts emphasize exascale computing readiness, neuromorphic system validation, and bridging biological plausibility with computational efficiency in neural network simulations.

Antonio Paolilloمشاهده پروفایل

استاد

• Real-Time Systems
• Embedded Software
• Robotics
• +۳ مورد دیگر

Antonio Paolillo is a Professor in the Department of Informatics and Applied Informatics at Vrije Universiteit Brussel. His research focuses on real-time systems, embedded software, robotics, and synchronization protocols. He leads projects like Brubotics (sustainable human-centered robotics) and FORCES (reliable robotic systems), emphasizing safety, privacy, and performance in human-robot collaboration. Key contributions include the mmPrivPose3D dataset for gesture recognition and sensor-based safety systems. He actively contributes to conferences like ECRTS 2025 and is involved in OS design for embedded platforms. His work bridges theoretical formal verification with practical implementations in multi-core and NUMA architectures. Education details and specific degrees were not explicitly mentioned in the provided text. Research interests span real-time scheduling, hardware-software co-design, and robust embedded systems. Recent articles emphasize privacy-compliant human-robot interaction and compiler transpilation for safety-critical applications. He collaborates internationally in robotics and real-time systems domains. Current projects (2024-2029) include foundational work on embedded software performance, reconfigurable robotics, and conference organization for ECRTS 2025. His work often involves interdisciplinary teams and industry partnerships.

• Image and Signal Processing
• Computer Vision
• Artificial Intelligence
• +۶ مورد دیگر

Dr. Deepayan Bhowmik is a Senior Lecturer and Director of Research at Newcastle University's School of Computing. He holds a PhD in Electronic and Electrical Engineering from the University of Sheffield. His research focuses on image/signal processing, AI, neuromorphic vision systems, and their applications in media security, remote sensing, and space research. He actively contributes to UN Sustainable Development Goals related to clean water, environmental sustainability, and responsible consumption. Grants & Collaborations: PI of £2M EPSRC-funded North East Space Communications Accelerator (2025-2029) Co-I in Airbus-funded Smart Earth Observation Satellite Constellation project (2024-2028) Lead on JPEG Trust international standard for media authenticity Research Interests: Combines theoretical advancements in signal processing with practical applications in media forensics, environmental monitoring, and heterogeneous computing. Recent work addresses AI-generated media manipulation detection and satellite imagery analysis for ecological challenges like water hyacinth infestation. Publications: Over 28 peer-reviewed articles spanning watermarking techniques, FPGA optimization, and remote sensing applications. Recent trends show increasing focus on AI-driven media security and space-based earth observation systems.

• Programming Languages
• Program Synthesis
• Program Verification
• +۷ مورد دیگر

Jedidiah McClurg is an Assistant Professor in the Department of Computer Science at Colorado State University, with prior faculty appointments at Colorado School of Mines and the University of New Mexico. He received his Ph.D. in Computer Science from the University of Colorado Boulder in 2018, where he was a member of the CUPLV research group under the supervision of Pavol Cerny. His research focuses on programming languages, program synthesis, verification, and their applications in networking, compilers, and distributed systems. His educational background includes an M.S. in Computer Science from Northwestern University (2013) and a B.S. in Electrical Engineering from the University of Iowa (2009). He has completed internships at Microsoft Research (RiSE Group, 2014) and Rockwell Collins (2011, 2013, 2004). McClurg’s research interests include programming languages, formal verification, software synthesis, software-defined networking, compilers, and system security. His work aims to develop tools and techniques that help programmers write more secure, reliable, and efficient code, especially in safety-critical domains. He has led multiple NSF-funded projects, including FMitF and CRII grants, totaling over $1 million in funding. His recent publications span high-impact venues such as PLDI, CAV, DISC, and SOSR, with topics ranging from neural network optimization and regular expression synthesis to network program verification and FEC code generation. These works reflect a consistent trend toward automating correctness, improving performance, and enabling scalable solutions in systems and networking. NSF CRII: SHF: Foundations for Stateful Network Programming ($175,000) NSF FMitF: Game Theoretic Updates for Network & Cloud Functions ($355,000 for him) NSF FMitF: Robust Enforcement of Customizable Resource Constraints ($250,000 for him) NSF GRFP (awarded to student Lauren Baker) He has advised multiple graduate and undergraduate students, many of whom have secured positions at leading tech companies such as Google, Apple, and Amazon. He is actively involved in academic service, having served on program committees for PLDI, SOSR, CAV, and others, and as a reviewer for journals like IEEE/ACM Transactions on Networking (ToN) and ACM Transactions on Software Engineering (TSE). He also contributes to open-source research via GitHub and maintains a strong online academic presence.

• Antenna Design
• Microwave Engineering
• Dielectric Spectroscopy
• +۳ مورد دیگر

Emilio ARNIERI is an Associate Professor at the Department of Computer, Modeling, Electronics and System Engineering (DEIS) of the University of Calabria , Italy. His research focuses on microwave engineering , antenna design , and satellite communication systems , with particular emphasis on phased arrays , dielectric spectroscopy , and 5G/6G technologies . Academic Rank: Associate Professor Key Research Areas: Antenna Design, Microwave Sensors, Millimeter-Wave Communication Current Affiliation: University of Calabria (DEIS department) His recent work explores K/Ka-Band systems for SatCom-on-the-Move , hybrid multi-band sensors for microfluidic applications, and low-profile antennas for automotive and satellite use. Publications from 2023-2025 reveal a focus on dielectric spectroscopy , beamforming , and SIW (Substrate Integrated Waveguide) technology. Notable projects include the QV-Lift Project for satellite ground segments and BiCMOS integration for high-frequency applications. Recent articles indicate expertise in transmitarray antennas , vector modulators , and reconfigurable intelligent surfaces for 5G backhaul systems. Collaborations span satellite communication , automotive radar , and millimeter-wave infrastructure .

Cătălin Hrițcuمشاهده پروفایل

استاد مدعو

• Formal Methods for Security
• Secure Compilation
• Compartmentalization
• +۱۲ مورد دیگر

Cătălin Hrițcu is a tenured faculty member and head of the Formally Verified Security group at the Max Planck Institute for Security and Privacy (MPI-SP) in Bochum, Germany, and an Adjunct Professor at Ruhr University Bochum's Faculty of Computer Science. He is involved in the CASA Cluster of Excellence and HGI at RUB. PhD in Computer Science from Saarland University Habilitation in Computer Science from École Normale Supérieure (ENS) Paris Former Tenured Researcher at Inria Paris Postdoctoral Research Associate at University of Pennsylvania Visiting Researcher at Microsoft Research Redmond His research spans formal methods for security , focusing on secure compilation, memory safety, compartmentalization, information flow control, and security protocols. In programming languages , he explores program verification, proof assistants like F*, dependent types, formal semantics, and mechanized metatheory. He also works on verifying security-critical systems such as reference monitors, compilation chains, and tagged architectures. His recent publications (2015–2025) emphasize secure compilation techniques, relational program logics, memory safety, and proof automation in F*. Key trends include formal verification of IO programs, high-speed cryptography, and cross-component security analysis. Scientific Awards : ERC Starting Grant on Formally Secure Compilation Distinguished Paper Awards at CSF Symposium (2019, 2021, 2025) Hrițcu has advised numerous PhD students and collaborated on F* verification system development. He has served on program committees for CPP, POPL, PriSC, and ICFP, and organized artifact evaluation committees. He leads the Formally Verified Security group at MPI-SP and contributes to the CASA Cluster of Excellence, focusing on formal verification of security-critical systems and advancing secure compilation frameworks.

Marco Vassenaمشاهده پروفایل

استادیار

• Programming Languages
• Security
• Language-based Security
• +۷ مورد دیگر

Marco Vassena is an Assistant Professor in the Department of Information and Computing Sciences at Utrecht University, Netherlands. His research bridges Programming Languages and Security, developing principled methods to build systems with reliable security guarantees through language-based techniques. Previously, he served as a visiting assistant professor at Stanford University and as a postdoctoral researcher at CISPA Helmholtz Center for Information Security, where he co-founded the CISPA-Stanford Center for Cybersecurity. Education PhD in Computer Science, Chalmers University of Technology (supervised by Alejandro Russo) Dr. Vassena specializes in language-based security, with core expertise in memory safety (particularly for WebAssembly via his MSWasm framework), constant-time programming for cryptographic code, information flow control, and defenses against microarchitectural attacks like Spectre. His work applies type systems, compilers, program analysis, and formal verification to create practical security solutions for real-world systems, often targeting low-level vulnerabilities in hardware and software interactions. Analysis of his 15 most recent publications reveals a clear evolution: starting with foundational work on information flow control for concurrent and lazy programs (2016-2019), progressing to memory safety for WebAssembly (2019-2023), and culminating in robust constant-time cryptography (2021-2025). A consistent theme is addressing hardware-level vulnerabilities through compiler and language techniques, with increasing focus on practical implementations for WebAssembly and cryptographic systems. Scientific Awards Veni grant (2023) - Prestigious Dutch Research Council award for early-career researchers Dr. Vassena actively mentors future researchers through Utrecht University's PhD program, currently advertising open positions for candidates interested in applying compilers and program analysis to security challenges. His Veni grant funds these efforts while supporting his research on verified security techniques. He contributes extensively to the academic community as program committee member for POPL, PLDI, and PriSC conferences, and has organized workshops including PLMW@PLDI and PriSC sessions. His collaborations span institutions like CISPA Helmholtz Center and Stanford University, often focusing on WebAssembly security and microarchitectural attack defenses.

Zhenyang Xuمشاهده پروفایل

پژوهشگر

• Software Testing
• Debugging
• Program Reduction
• +۲ مورد دیگر

Zhenyang Xu is a researcher affiliated with the University of Waterloo, specializing in Software Testing and Debugging . He has contributed to advancements in program reduction techniques, including projects like PPR (Pairwise Program Reduction), WDD (Weighted Delta Debugging), and LPR (Large Language Models-Aided Program Reduction). His work focuses on improving the efficiency and effectiveness of debugging through empirical studies and novel algorithms. Research Interests : Software Testing, Debugging, Program Reduction, Software Engineering Key Publications : Kitten (2025, ISSTA) for LLM-based compiler testing T-Rec (2025, ICSE) on lexical syntax-guided reduction Pushing the Limit of 1-Minimality (2023, SPLASH) Conferences : Active in ISSTA, ICSE, SPLASH, ESEC/FSE

Gerald Hempelمشاهده پروفایل

پژوهشگر

• Computer Architecture
• Embedded Systems
• High-Performance Computing
• +۴ مورد دیگر

Dr.-Ing. Gerald Hempel is a researcher at Dresden University of Technology (TU Dresden) with active contributions to computer architecture and embedded systems from 2015–2023. His work bridges hardware/software co-design through domain-specific languages and compiler techniques, primarily within the Faculty of Electrical and Computer Engineering context. His research spans: Domain-Specific Languages for hardware acceleration Memory optimization in high-performance computing Reconfigurable computing using FPGAs Many-core and heterogeneous system design Bio-inspired algorithms for robust system mapping Racetrack memory applications in brain-inspired cognition Publication analysis reveals consistent focus on compiler-driven hardware acceleration, particularly for computational fluid dynamics and cognitive systems. His work emphasizes memory architecture innovations (e.g., high-bandwidth memory, caching) and bio-inspired robustness techniques, often through collaborations like the EVEREST consortium for compilation frameworks. No scientific awards were documented in the source material. No student advising or grant information was provided in the available texts. Dr. Hempel collaborates within TU Dresden's research ecosystem, notably with the EVEREST consortium and chairs including Compiler Construction and Emerging Electronic Technologies. His work on tools like Mocasin demonstrates active participation in teams developing rapid prototyping frameworks for heterogeneous multi-core systems and FPGA-based accelerators.

• Program Analysis
• Formal Methods
• Software Verification
• +۵ مورد دیگر

Maria Christakis is a Full Professor at the Faculty of Informatics, Vienna University of Technology, where she leads the Software Engineering Research Unit and the Rigorous Software Engineering Group at the Information Systems Engineering Institute. Her work bridges theoretical foundations with practical tools for reliable software development. Her research focuses on Program Analysis, Formal Methods, Software Verification, and Test Generation . She develops techniques for automatic test generation, program analysis, and software verification to enhance software robustness while improving developer experience. Key innovations include metamorphic testing frameworks, soundness testing for program analyzers, and verification tools for smart contracts and machine learning systems. Christakis' recent publications reveal strong trends in zero-knowledge circuit testing, smart contract security, machine learning verification, and action-policy testing . Her work combines formal methods with practical engineering solutions, particularly for blockchain systems, neural networks, and program analyzers. She emphasizes sustainability in testing through projects like GreenBench. Amazon Research Award (2023) for Testing Dafny for Unsoundness and Brittleness Bugs Facebook Faculty Research Award for Program Analysis Google Research Scholar Award for Metamorphic Specification and Testing Best Presentation Award at ESEC/FSE'20 Distinguished Paper Award at ICSE'16 She actively mentors PhD and Master's students through projects like Circuzz, Sherlock, and Nomos. Her group receives substantial funding from the Austrian Science Fund (FWF), European Commission, Amazon Research Awards, and Google Research Scholar program. Current major projects include the Structured Doctoral Program on Automated Reasoning (FWF-funded) and the Amazon Research Award project on Dafny testing. Christakis leads the AGI Labs team building AI agents and contributes to Amazon Nova foundation models. Her group maintains strong industry collaborations with Amazon (through Amazon Research Awards and Amazon Scholars program), MPI-SWS, and Microsoft Research.

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

دانشیار

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

Tobias Grosser is an Associate Professor in Compiler Design at the Department of Computer Science and Technology, University of Cambridge. His research spans compilation, programming language design, and performance programming with applications to climate science, quantum computing, and hardware design. He leads an active research group focusing on making compilers more modular, predictable, and trustworthy while bridging the gap between developers and compilers. His research interests include: Compilers and polyhedral compilation Static and dynamic program analysis High-performance computing and loop optimization Domain-specific compilation for accelerators (GPU, FPGA) Formal verification for compiler correctness Machine learning applications to compiler design His recent publications demonstrate significant contributions to multi-level intermediate representations (MLIR), compiler verification using Lean, and performance modeling. His work on xDSL provides a Python-native compiler framework that enables rapid prototyping of compiler infrastructure. His research group has developed tools like FPL (Fast Presburger Library) for loop optimization in deep learning and scientific computing. Scientific awards include two Amazon Research Awards (2023-2024) for work in automated reasoning, a Google PhD Fellowship, and an Ambizione Fellowship at ETH Zurich. He has advised numerous PhD students and researchers who have gone on to positions at Google, ETH Zurich, NVIDIA, and Intel. He actively collaborates with industry through the Amazon Scholars program and hosts regular Compiler Social events in Cambridge. His research vision emphasizes connecting compiler technology with societal challenges like climate change while maintaining a strong commitment to open-source development and diversity in computer science.